The efficiency of identifying timed automata and the power of clocks.

Sicco Verwer Mathijs de Weerdt Cees Witteveen

Published in: Inf. Comput. (2011)

Keyphrases

timed automata
model checking
neural network
theorem proving
theorem prover
highly efficient
reachability analysis
data mining
multiscale
special case
probabilistic model
graphical models
power consumption