Shrinking Timed Automata.

Ocan Sankur Patricia Bouyer Nicolas Markey

Published in: FSTTCS (2011)

Keyphrases

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