Widening Arithmetic Automata.

Constantinos Bartzis Tevfik Bultan

Published in: CAV (2004)

Keyphrases

cellular automata
finite automata
floating point
arithmetic operations
probabilistic automata
finite state machines
regular expressions
finite state
tree automata
learning algorithm
finite state automata
database
lattice gas