From MITL to Timed Automata

  title={From MITL to Timed Automata},
  author={Oded Maler and Dejan Nickovic and Amir Pnueli},
We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented. Prediction is very difficult, especially about the future. Niels Bohr 
Highly Cited
This paper has 133 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 77 extracted citations

Bounded Model Checking of an MITL Fragment for Timed Automata

2013 13th International Conference on Application of Concurrency to System Design • 2013
View 5 Excerpts
Highly Influenced

134 Citations

Citations per Year
Semantic Scholar estimates that this publication has 134 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…