Relating timed and register automata
Diego FigueiraPiotr HofmanSlawomir LasotaPublished in: EXPRESS (2010)
Keyphrases
- timed automata
- finite state machines
- model checking
- petri net
- theorem prover
- finite automata
- probabilistic automata
- cellular automata
- real time
- regular expressions
- data sets
- finite state
- special case
- neural network
- temporal logic
- mobile robot
- discrete event
- information retrieval
- tree automata
- data mining
- finite automaton
- lattice gas