Real time temporal logic: Past, present, future
Maler O, Nickovic D, Pnueli A. 2006. Real time temporal logic: Past, present, future. Third International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 2–16.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Maler, Oded;
Nickovic, DejanISTA;
Pnueli, Amir
Series Title
LNCS
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.
Publishing Year
Date Published
2006-01-23
Proceedings Title
Third International Conference on Formal Modeling and Analysis of Timed Systems
Publisher
Springer
Volume
3829
Page
2 - 16
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
Conference Location
Uppsala, Sweden
Conference Date
2005-09-26 – 2005-09-28
IST-REx-ID
Cite this
Maler O, Nickovic D, Pnueli A. Real time temporal logic: Past, present, future. In: Third International Conference on Formal Modeling and Analysis of Timed Systems. Vol 3829. Springer; 2006:2-16. doi:10.1007/11603009_2
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real time temporal logic: Past, present, future. In Third International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 2–16). Uppsala, Sweden: Springer. https://doi.org/10.1007/11603009_2
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future.” In Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:2–16. Springer, 2006. https://doi.org/10.1007/11603009_2.
O. Maler, D. Nickovic, and A. Pnueli, “Real time temporal logic: Past, present, future,” in Third International Conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2006, vol. 3829, pp. 2–16.
Maler O, Nickovic D, Pnueli A. 2006. Real time temporal logic: Past, present, future. Third International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 2–16.
Maler, Oded, et al. “Real Time Temporal Logic: Past, Present, Future.” Third International Conference on Formal Modeling and Analysis of Timed Systems, vol. 3829, Springer, 2006, pp. 2–16, doi:10.1007/11603009_2.