Dense-Timed Pushdown Automata.
Parosh Aziz AbdullaMohamed Faouzi AtigJari StenmanPublished in: LICS (2012)
Keyphrases
- timed automata
- model checking
- finite state machines
- temporal logic
- finite state
- cellular automata
- petri net
- regular expressions
- lattice gas
- finite automata
- theorem prover
- discrete event
- scene flow
- tree automata
- markov chain
- image registration
- state space
- multi agent
- website
- optical flow fields
- genetic algorithm
- dense optical flow
- real time