An automata-theoretic approach to constraint LTL.

Stéphane Demri Deepak D'Souza

Published in: Inf. Comput. (2007)

Keyphrases

deterministic automata
finite automata
cellular automata
model checking
temporal logic
finite state
linear temporal logic
consistency constraints
reinforcement learning
constraint solving
tree automata
information systems
information retrieval
constraint programming
database
probabilistic automata
lattice gas