On-the-fly automata construction for dynamic linear time temporal logic

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 11, Issue , 2004, Pages 133-139

  Giordano, Laura ^a   Martelli, Alberto ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; FORMAL LOGIC; MAPPING; MULTI AGENT SYSTEMS;

AUTOMATON CONSTRUCTION; DYNAMIC LINEAR TIME TEMPORAL LOGIC (DLTL); FINITE STATE AUTOMATION (FSA);

FINITE AUTOMATA;

EID: 5644243255     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/time.2004.1314430     Document Type: Conference Paper

References (11)

1. M. Daniele, F. Giunchiglia and M.Y. Vardi. Improved automata generation for linear temporal logic. In Proc. 11th CAV, Springer LNCS vol. 1633, pp. 249-260, July 1999.
2. R. Gerth, D. Peled, M.Y. Vardi and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. 15th work. Protocol Specification, Testing and Verification, Warsaw, June 1995.
3. L.Giordano, A.Martelli, and C.Schwind. Reasoning about actions in dynamic linear time temporal logic. Logic Journal of the IGPL, 9(2):289-303, 2001.
4. L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In Proc. AI*IA'03, Pisa, Springer LNCS vol. 2829, pp. 262-274, September 2003.
5. J.G. Henriksen and P.S. Thiagarajan. A Product Version of Dynamic Linear Time Temporal Logic. In CONCUR'97, 1997.
6. J.G. Henriksen and P.S. Thiagarajan. Dynamic Linear Time Temporal Logic. In Annals of Pure and Applied logic, vol.96, n. 1-3, pp. 187-207, 1999.
7. J. Hromkovic, S. Seibert and T. Wilke. Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata. In Proc. STACS'97, Springer LNCS vol. 1200, pp. 55-66, 1997.
8. F. Somenzi and R. Bloem. Efficient Büchi automata from LTL formulae. In Proc. 12th CAV, Springer LNCS vol. 1855, pp. 247-263, 2000.
9. M. Vardi and P. Wolper. Reasoning about infinite computations. In Information and Computation 115, 1-37 (1994).
10. P. Wolper. Temporal logic can be more expressive. In Information and Control 56, 72-99 (1983).
11. P. Wolper. Constructing Automata from Temporal Logic Formulas: A Tutorial. In Proc. FMPA 2000, Springer LNCS vol. 2090, pp. 261-277, July 2000.