An Automata-Theoretic Approach to Constraint LTL.

Stéphane Demri Deepak D'Souza

Published in: FSTTCS (2002)

Keyphrases

deterministic automata
finite automata
temporal logic
model checking
cellular automata
finite state automata
linear temporal logic
tree automata
probabilistic automata
constrained minimization
real time
image sequences
state space
regular expressions
finite state machines
finite state