The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)

Preprint English OPEN
Pandya, Paritosh K.; Shah, Simoni S.;
(2013)
  • Related identifiers: doi: 10.1007/978-3-642-33386-6
  • Subject: Computer Science - Formal Languages and Automata Theory | Computer Science - Logic in Computer Science

We study two unary fragments of the well-known metric interval temporal logic MITL[U_I,S_I] that was originally proposed by Alur and Henzinger, and we pin down their expressiveness as well as satisfaction complexities. We show that MITL[F_\inf,P_\inf] which has unary mo... View more
  • References (5)

    AFH96. Rajeev Alur, Toma´s Feder, and Thomas A. Henzinger. The benefits of relaxing punctuality. J. ACM, 43(1):116-146, 1996.

    AH91. Rajeev Alur and Thomas A. Henzinger. Logics and models of real time: A survey. In REX Workshop, pages 74-106, 1991.

    AH92. Rajeev Alur and Thomas A. Henzinger. Back to the future: Towards a theory of timed regular languages. In FOCS, pages 177-186, 1992.

    AH93. Rajeev Alur and Thomas A. Henzinger. Real-time logics: Complexity and expressiveness. Inf. Comput., 104(1):35-77, 1993.

    BMOW07. Patricia Bouyer, Nicolas Markey, Joe¨l Ouaknine, and James Worrell. The cost of punctuality. In LICS, pages 109-120, 2007.

  • Similar Research Results (1)
  • Metrics
    No metrics available
Share - Bookmark