Zenoness for Timed Pushdown Automata.
Parosh Aziz AbdullaMohamed Faouzi AtigJari StenmanPublished in: INFINITY (2013)
Keyphrases
- timed automata
- model checking
- finite state machines
- temporal logic
- finite state
- petri net
- theorem prover
- multiscale
- data sets
- theorem proving
- cellular automata
- tree automata
- real time
- decision making
- machine learning
- discrete event
- finite automata
- probabilistic automata
- regular expressions
- first order logic
- medical images
- support vector machine
- expert systems
- support vector
- video sequences