Updatable timed automata with one updatable clock.

Guoqiang Li Yunqing Wen Shoji Yuen

Published in: Sci. China Inf. Sci. (2018)

Keyphrases

timed automata
reachability analysis
model checking
power consumption
artificial intelligence
active rules
theorem prover
video sequences
machine learning
pattern recognition
hidden markov models
distributed systems
first order logic