Login / Signup

On the Use of Automata for Deciding Linear Arithmetic.

Pierre Wolper
Published in: TABLEAUX (2009)
Keyphrases
  • cellular automata
  • real time
  • website
  • closed form
  • machine learning
  • decision making
  • expert systems
  • linear programming
  • linear model
  • finite state machines
  • tree automata