Interrupt Timed Automata.

Béatrice Bérard Serge Haddad

Published in: FoSSaCS (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
temporal logic
supervised learning
machine learning
expert systems