Timed parity games: Complexity and robustness

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

Volumn 5215 LNCS, Issue , 2008, Pages 124-140

  Chatterjee, Krishnendu ^a   Henzinger, Thomas A ^b,c   Prabhu, Vinayak S ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCKING TIME; EFFICIENT REDUCTION; FINITE STATES; FORMAL MODELING; INTERNATIONAL CONFERENCES; LOWER BOUNDS; PARITY GAMES; REAL TIME; REAL-TIME CONTROLLERS; REAL-TIME SYNTHESIS; ROBUST STRATEGY; TIME DELAYING; TIMED AUTOMATON; TIMED SYSTEMS; TWO-PLAYER GAMES;

CHLORINE COMPOUNDS; CONTROL THEORY; JITTER; REAL TIME SYSTEMS; REDUCTION; STANDARDS; TIME DELAY; TIME SHARING SYSTEMS;

GAME THEORY;

EID: 53049087099     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85778-5_10     Document Type: Conference Paper

References (24)

1. Agrawal, M., Thiagarajan, P.S.: Lazy rectangular hybrid automata. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 1-15. Springer, Heidelberg (2004)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183-235 (1994)
3. Alur, R., Henzinger, T.A.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 74-88. Springer, Heidelberg (1997)
4. Alur, R., Torre, S.L., Madhusudan, P.: Perturbed timed automata. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 70-85. Springer, Heidelberg (2005)
5. Bouyer, P., Markey, N., Reynier, P.A.: Robust analysis of timed automata via channel machines. In: Amadio, R. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 157-171. Springer, Heidelberg (2008)
6. Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 66-80. Springer, Heidelberg (2005)
7. Chatterjee, K., Henzinger, T.A., Prabhu, V.S.: Timed parity games: Complexity and robustness, CoRR abs/0805.4167 (2008)
8. Chatterjee, K., Henzinger, T.A., Prabhu, V.S.: Trading infinite memory for uniform randomness in timed games. In: HSCC 2008. LNCS. Springer, Heidelberg (2008)
9. de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., Stoelinga, M.: The element of surprise in timed games. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 144-158. Springer, Heidelberg (2003)
10. D'Souza, D., Madhusudan, P.: Timed control synthesis for external specifications. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, pp. 571-582. Springer, Heidelberg (2002)
11. Faella, M., La Torre, S., Murano, A.: Automata-theoretic decision of timed games. In: Cortesi, A. (ed.) VMCAI 2002. LNCS, vol. 2294, pp. 94-108. Springer, Heidelberg (2002)
12. Faella, M., La Torre, S., Murano, A.: Dense real-time games. In: LICS 2002, pp. 167-176. IEEE Computer Society Press, Los Alamitos (2002)
13. Gupta, V., Henzinger, T.A., Jagadeesan, R.: Robust timed automata. In: Maler, O. (ed.) HART 1997. LNCS, vol. 1201, pp. 331-345. Springer, Heidelberg (1997)
14. Henzinger, T.A., Prabhu, V.S.: Timed alternating-time temporal logic. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 1-17. Springer, Heidelberg (2006)
15. Henzinger, T.A., Raskin, J.-F.: Robust undecidability of timed and hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 145-159. Springer, Heidelberg (2000)
16. Jurdzinski, M.: Small progress measures for solving parity games. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol. 1770, pp. 290-301. Springer, Heidelberg (2000)
17. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (an extended abstract). In: STACS 1995, pp. 229-242. Springer, Heidelberg (1995)
18. Schewe, S.: Solving parity games in big steps. In: Proc. FST TCS. Springer, Heidelberg (2007)
19. Segala, R., Gawlick, R., Søgaard-Andersen, J.F., Lynch, N.A.: Liveness in timed and untimed systems. Inf. Comput. 141(2), 119-171 (1998)
20. Thomas, W.: Languages, automata, and logic. In: Handbook of Formal Languages, ch. 7. Beyond Words, vol. 3, pp. 389-455. Springer, Heidelberg (1997)
21. Vöge, J., Jurdziński, M.: A discrete strategy improvement algorithm for solving parity games. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 202-215. Springer, Heidelberg (2000)
22. Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proc. of 30th Conf. Decision and Control, pp. 1527-1528 (1991)
23. Wulf, M.D., Doyen, L., Markey, N., Raskin, J.F.: Robustness and implementability of timed automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 118-133. Springer, Heidelberg (2004)
24. Wulf, M.D., Doyen, L., Raskin, J.F.: Almost asap semantics: from timed models to timed implementations. Formal Asp. Comput. 17(3), 319-341 (2005)