Timed alternating-time temporal logic

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

Volumn 4202 LNCS, Issue , 2006, Pages 1-17

  Henzinger, Thomas A ^a   Prabhu, Vinayak S ^b  

^a EPFL   (Switzerland)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; INTERACTIVE COMPUTER GRAPHICS; OPTIMAL SYSTEMS; OPTIMIZATION; REAL TIME SYSTEMS; SEMANTICS;

AUTOMATON GAMES; FREEZE QUANTIFIERS; GAME LOGIC;

FORMAL LOGIC;

EID: 33750294415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11867340_1     Document Type: Conference Paper

References (22)

1. B. Adler, L. de Alfaro, and M. Faella. Average reward timed games. In FORMATS 05, LNCS 3829, pages 65-80. Springer, 2005.
2. R. Alur, M. Bernadsky, and P. Madhusudan. Optimal reachability for weighted timed games. In ICALP 04, LNCS 3142, pages 122-133. Springer, 2004.
3. R. Alur, C. Courcoubetis, and D.L. Dill. Model-checking in dense real-time. Inf. and Comp., 104(1):2-34, 1993.
4. R. Alur and D.L. Dill. A theory of timed automata. Theor. Comput. Sci., 126(2): 183-235, 1994.
5. R. Alur and T.A. Henzinger. A really temporal logic. Journal of the ACM, 41:181-204, 1994.
6. R. Alur, T.A. Henzinger. and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49:672-713, 2002.
7. E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In HSCC 99, LNCS 1569, pages 19-30. Springer, 1999.
8. P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. In FSTTCS 04, LNCS 3328, pages 148-160. Springer, 2004.
9. P. Bouyer, D. D'Souza, P. Madhusudan, and A. Petit. Timed control with partial observability. In CAV 03, LNCS 2725, pages 180-192. Springer, 2003.
10. T. Brihaye, V. Bruyere, and J.F. Raskin. On optimal timed strategies. In FORMATS 05, LNCS 3829, pages 49-64. Springer, 2005.
11. F. Cassez, A. David, E. Fleury, K.G. Larsen, and D. Lime. Efficient on-the-fly algorithms for the analysis of timed games. In CONCUR 05, LNCS 3653, pages 66-80. Springer, 2005.
12. C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. Formal Methods in System Design, 1(4):385-415, 1992.
13. L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, and M. Stoelinga. The element of surprise in timed games. In CONCUR 03, LNCS 2761, pages 144-158. Springer, 2003.
14. D. D'Souza and P. Madhusudan. Timed control synthesis for external specifications. In STAGS 02, LNCS 2285, pages 571-582. Springer, 2002.
15. M. Faella, S. La Torre, and A. Murano. Automata-theoretic decision of timed games. In VMCAI 02, LNCS 2294, pages 94-108. Springer, 2002.
16. M. Faella, S. La Torre, and A. Murano. Dense real-time games. In LICS 02, pages 167-176. IEEE Computer Society, 2002.
17. T.A. Henzinger and P.W. Kopke. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science, 221:369-392, 1999.
18. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111:193-244, 1994.
19. F. Laroussinie, N. Markey, and G. Oreiby. Model checking timed ATL for durational concurrent game structures. In FORMATS 06, LNCS. Springer, 2006.
20. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems (an extended abstract). In STAGS 95, pages 229-242, 1995.
21. A. Pnueli, E. Asarin, O. Maler, and J. Sifakis. Controller synthesis for timed automata. In Proc. System Structure' and Control. Elsevier, 1998.
22. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. of 30th Conf. Decision and Control, pages 1527-1528, 1991.