Login / Signup
Constraint LTL Satisfiability Checking without Automata
Marcello M. Bersani
Achille Frigeri
Angelo Morzenti
Matteo Pradella
Matteo Rossi
Pierluigi San Pietro
Published in:
CoRR (2012)
Keyphrases
</>
deterministic automata
model checking
temporal logic
finite automata
finite state machines
finite state
probabilistic automata
cellular automata
real time
association rules
linear constraints
lattice gas