On Decidability of Prebisimulation for Timed Automata.
Shibashis GuhaChinmay NarayanS. Arun-KumarPublished in: CAV (2012)
Keyphrases
- np complete
- timed automata
- model checking
- reachability analysis
- description logics
- theorem prover
- theorem proving
- decision procedures
- query answering
- temporal logic
- real time systems
- first order logic
- automata theoretic
- real time
- query containment
- type checking
- special case
- real world
- mobile robot
- hidden markov models