Sciweavers

Share
FORMATS
2005
Springer

Real Time Temporal Logic: Past, Present, Future

9 years 5 months ago
Real Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that timed languages specified by the past fragment of MITL, can be accepted by deterministic timed automata. On the other hand we provide a proof that certain languages expressed in the future fragment of MITL are not deterministic,4 and analyze the reason for this asymmetry.
Oded Maler, Dejan Nickovic, Amir Pnueli
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FORMATS
Authors Oded Maler, Dejan Nickovic, Amir Pnueli
Comments (0)
books