On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.
Yunqing WenGuoqiang LiShoji YuenPublished in: SOFL+MSVL (2015)
Keyphrases
- reachability analysis
- timed automata
- model checking
- markov decision processes
- theorem prover
- first order logic
- temporal logic
- active rules
- incremental algorithms
- theorem proving
- high speed
- state space
- real time systems
- np hard
- search algorithm
- machine learning
- power consumption
- decision making
- artificial intelligence