Constraint LTL satisfiability checking without automata.
Marcello M. BersaniAchille FrigeriAngelo MorzentiMatteo PradellaMatteo RossiPierluigi San PietroPublished in: J. Appl. Log. (2014)
Keyphrases
- deterministic automata
- finite automata
- model checking
- temporal logic
- finite state
- cellular automata
- finite state machines
- bounded model checking
- turing machine
- genetic algorithm
- evolutionary algorithm
- real time
- reinforcement learning
- constraint networks
- image sequences
- constraint solving
- website
- linear temporal logic
- lattice gas
- neural network