From MITL to Timed Automata.

Oded Maler Dejan Nickovic Amir Pnueli

Published in: FORMATS (2006)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
real time systems
theorem proving
temporal logic
first order logic
expert systems
dynamic programming