Shrinking timed automata.

Ocan Sankur Patricia Bouyer Nicolas Markey

Published in: Inf. Comput. (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
real time systems
theorem proving
temporal logic
machine learning
artificial intelligence
bayesian networks