Timed Automata Can Always Be Made Implementable.

Patricia Bouyer Kim G. Larsen Nicolas Markey Ocan Sankur Claus R. Thrane

Published in: CONCUR (2011)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
temporal logic
real time systems
inference rules
real time
machine learning
artificial intelligence
knowledge base
expert systems
knowledge representation
software engineering