Real time temporal logic: past, present, future

  • Authors:
  • Oded Maler;Dejan Nickovic;Amir Pnueli

  • Affiliations:
  • Verimag, Gières, France;Verimag, Gières, France;Weizmann Institute of Science, Rehovot, Israel

  • Venue:
  • FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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, and analyze the reason for this asymmetry.