Allen linear (interval) temporal logic - Translation to LTL and monitor synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 263-277

  Roşu, Grigore ^a   Bensalem, Saddek ^b  

^a University of Illinois at Urbana Champaign   (United States)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; LINEAR SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROGRAM TRANSLATORS; SEQUENTIAL MACHINES;

ALLEN LINEAR TEMPORAL LOGIC (ALTL); EXPONENTIAL SPACE; LINEAR TEMPORAL LOGIC (LTL); MONITORING ALGORITHM;

FORMAL LOGIC;

EID: 33749822024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_25     Document Type: Conference Paper

References (12)

1. J. Allen. Towards a general theory of actions and time. Artificial Intelligence, 23(2):123-154, 1984.
2. D. Calvanese, G. De Giacomo, and M. Y. Vardi. Reasoning about actions and planning in LTL action theories. In KR, pages 593-602, 2002.
3. M, D'Amorim and G. Roşu. Efficient monitoring of omega-languages. In CAV'05, volume 3576 of LNCS, pages 364-378. Springer, July 2005.
4. M. Ghallab and A.M. Alaoui. Managing efficiently temporal relations through indexed spanning trees. In IJCAI, pages 1297-1303, 1989.
5. A.A. Krokhin, P. Jeavons, and P. Jonsson. Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. J. ACM, 50(5):591-640, 2003.
6. S. Lacroix, A. Mallet, D. Bonnafous, G. Bauzil, S. Fleury, M. Herrb, and R. Chatila. Autonomous rover navigation on unknown terrains, functions and integration. International Journal of Robotics Research, 2003.
7. M. Moskewicz, C. Madigan, Y, Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Design Automation Conference (DAC'01), June 2001.
8. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on Foundations of Computer Science, New York, 1977. IEEE
9. G. Roşu and S, Bensalem. Allen linear (interval) temporal logic - translation to LTL and monitor synthesis. Technical Report UIUCDCS-R-2006-2681, University of Illinois at Urbana-Champaign, January 2006.
10. G. Roşu and K. Havelund. Rewriting-based techniques for runtime verification, J. of Automated Software Engineering, 12(2):151-197, 2005.
11. A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. J. ACM, 32(3):733-749, 1985.
12. M. Vilain, H. Kautz, and P. van Beek. Constraint propagation algorithms for temporal reasoning: a revised report. In Readings in Qualitative Reasoning about Phisical Systems. Morgan Kaufmann, Los Altos, CA, 1989.