Login / Signup

On the Construction of Automata from Linear Arithmetic Constraints.

Pierre WolperBernard Boigelot
Published in: TACAS (2000)
Keyphrases
  • linear arithmetic constraints
  • cellular automata
  • database systems
  • regular expressions
  • evolutionary algorithm
  • special case
  • object oriented
  • finite state machines