UPPAAL-tiga: Time for playing games!

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

Volumn 4590 LNCS, Issue , 2007, Pages 121-125

  Behrmann, Gerd ^a   Cougnard, Agnès ^a   David, Alexandre ^a   Fleury, Emmanuel ^b   Larsen, Kim G ^a   Lime, Didier ^c  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITÉ BORDEAUX 1   (France)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; SOFTWARE PROTOTYPING;

GRAPHICAL SIMULATORS; TIMED GAME AUTOMATA;

PROBLEM SOLVING;

EID: 38149041613     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_14     Document Type: Conference Paper

References (12)

1. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183-235 (1994)
2. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller Synthesis for Timed Automata. In: Proc. IFAC Symp. on System Structure & Control, pp. 469-474. Elsevier, Amsterdam (1998)
3. Altisen, K., Tripakis, S.: Tools for controller synthesis of timed systems. In: RT-TOOLS'02 (2002)
4. Bouyer, P., Cassez, F., Fleury, E., Larsen, K.G.: Optimal Strategies in Priced Timed Game Automata. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol. 3328, pp. 148-160. Springer, Heidelberg (2004)
5. rd Int. Conf. on the Quantitative Evaluation of Systems, pp. 125-126. IEEE Computer Society Press, Los Alamitos (2006)
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. Chatain, T., David, A., Larsen, K.: Playing Games with Games (Unpublished)
8. De Alfaro, L., Henzinger, T.A., Majumdar, R.: Symbolic Algorithms for Infinite-State Games. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 536-550. Springer, Heidelberg (2001)
9. David, A., Jessen, J.J., Larsen, K.G., Rasmussen, J.I.: Guided Controller Synthesis for Climate Controller Using UPPAAL-TIGA. Unpublished
10. Lemai-Chenevier, S.: IxTeT-eXeC: planification, réparation de plan et contrôle d'exécution avec gestion du temps et des ressources. PhD thesis, Institut National Polytechnique de Toulouse (2004)
11. Larsen, K.G., Pearson, J., Weise, C., Yi, W.: Clock Difference Diagrams. Nordic Journal of Computing 6(3), 271-298 (1999)
12. Maler, O., Pnueli, A., Sifakis, J.: On the Synthesis of Discrete Controllers for Timed Systems. In: Mayr, E.W., Puech, C. (eds.) STACS 95. LNCS, vol. 900, pp. 229-242. Springer, Heidelberg (1995)