Undecidability Results for Timed Automata with Silent Transitions.
Patricia BouyerSerge HaddadPierre-Alain ReynierPublished in: Fundam. Informaticae (2009)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- description logics
- first order logic
- temporal logic
- theorem proving
- real time systems
- answering queries
- probabilistic planning
- state transitions
- state transition
- natural language
- similarity measure
- real time
- computer vision
- artificial intelligence
- information retrieval