A. De-alfaro-l, . A. Henzinger-t, and . Majumdar-r, Symbolic Algorithms for Infinite-State Games, Proc. 12th International Conference on Concurrency Theory (CONCUR'01), pp.536-550, 2001.
DOI : 10.1007/3-540-44685-0_36

A. R. Henzinger-t and . Kupferman-o, « Alternating-time temporal logic, Journal of the ACM, vol.49, pp.672-713, 2002.

A. A. and V. A. Walukiewicz-i, « Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.1, issue.303, pp.7-34, 2003.

A. E. Asarin, P. A. Maler-o, and S. J. , « Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, pp.469-474, 1998.

A. E. Asarin and . Maler-o, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. 2nd International Workshop Hybrid Systems, Computation and Control (HSCC'99), pp.19-30, 1999.
DOI : 10.1007/3-540-48983-5_6

F. G. Behrmann, . Hune-t, . G. Larsen-k, . Pettersson-p, . J. Ro-mijn et al., « Efficient Guiding Towards Cost-Optimality in UPPAAL, Proc. 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), pp.174-188, 2001.

. P. Bouyer, . Brinksma-e, A. G. Larsen-k, and . J. Pappas-g, Staying Alive as Cheaply as Possible, Proc. 7th International Conference Hybrid Systems, Computation and Control, pp.203-218, 2004.
DOI : 10.1007/978-3-540-24743-2_14

C. P. Bouyer, . Fleury-e, and . G. Larsen-k, Optimal Strategies in Priced Timed Game Automata, BRICS Reports Series BRICS, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00350483

C. P. Bouyer, . Fleury-e, . G. Larsen-k, . Lodaya-k, and . Mahajan-m, Optimal Strategies in Priced Timed Game Automata, Optimal Strategies in Priced Timed Game Automata » Proc. 24th Conference on Fundations of Software Technology and Theoretical Computer Science (FSTTCS'04), pp.148-160, 2004.
DOI : 10.1007/978-3-540-30538-5_13
URL : https://hal.archives-ouvertes.fr/hal-00350483

C. P. Bouyer, . Fleury-e, . G. Larsen-k, and . De-alfaro-l, Synthesis of Optimal Strategies Using HyTech, Proc. Workshop on Games in Design and Verification de Electronic Notes in Theoretical Computer Science, pp.11-31, 2005.
DOI : 10.1016/j.entcs.2004.07.006
URL : https://hal.archives-ouvertes.fr/hal-00350478

. P. Bouyer, C. F. Bozzelli-l, . Synthesis, ». Mtl-specifications, and B. C. Hermanns-h, Controller Synthesis for MTL Specifications, Proc. 17th International Conference on Concurrency Theory (CONCUR'06), pp.450-464, 2006.
DOI : 10.1007/11817949_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.920

. P. Bouyer and C. F. Brihaye-t, Control in o-minimal Hybrid Systems, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), pp.367-378, 2006.
DOI : 10.1109/LICS.2006.22

. P. Bouyer, . Brihaye-t, and . Markey-n, Improved undecidability results on weighted timed automata, Information Processing Letters, vol.98, issue.5, pp.188-194, 2006.
DOI : 10.1016/j.ipl.2006.01.012
URL : https://hal.archives-ouvertes.fr/hal-01194609

C. P. Bouyer, « On the Control of Timed and Hybrid Systems, EATCS Bulletin, vol.89, pp.79-96, 2006.

. P. Bouyer, . G. Larsen-k, R. J. Markey-n, ». Automata, and G. N. Arun-kumar-s, Almost Optimal Strategies in One Clock Priced Timed Games, Proc. 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), pp.345-356, 2006.
DOI : 10.1007/11944836_32

. P. Bouyer, R. P. Markey-n, ». Automata, and C. J. Hevia-a, Robust Model-Checking of Linear-Time Properties in Timed Automata, Proc. 7th Latin American Symposium on Theoretical Informatics (LATIN'06), pp.238-249, 2006.
DOI : 10.1007/11682462_25
URL : https://hal.archives-ouvertes.fr/hal-01194610

B. P. Brihaye-t, C. F. Automata, !. , and A. S. , « Weighted O-Minimal Hybrid Systems are more Decidable than Weighted Timed, Proc. Symposium on Logical Foundations of Computer Science (LFCS'07), 2007.

. P. Bouyer, . Brinksma-e, and . G. Larsen-k, Optimal infinite scheduling for multi-priced timed automata, Formal Methods in System Design, pp.2-23, 2008.
DOI : 10.1007/s10703-007-0043-4

. P. Bouyer, R. P. Markey-n, and . Amadio-r, Robust Analysis of Timed Automata Via Channel Machines, Proc. 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), pp.157-171, 2008.
DOI : 10.1007/978-3-540-78499-9_12
URL : https://hal.archives-ouvertes.fr/hal-01194593

T. Brihaye and R. J. Bruyère-v, « Model-Checking for Weighted Timed Automata », Proc. Joint International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'04) and Formal Techniques in Real-Time and Fault-Tolerant Systems, de Lecture Notes in Computer Science, pp.277-292, 2004.

. T. Brihaye and R. J. Bruyère-v, On Optimal Timed Strategies, Proc. 3th International Conference on Formal Modelling and Analysis of Timed Systems (FOR- MATS'05), pp.49-64, 2005.
DOI : 10.1007/11603009_5

. T. Brihaye, . Laroussinie-f, . Markey-n, and . Oreiby-g, Timed Concurrent Game Structures, Proc. 18th International Conference on Concurrency Theory (CONCUR'07), pp.445-459, 2007.
DOI : 10.1007/978-3-540-74407-8_30
URL : https://hal.archives-ouvertes.fr/hal-01194602

C. F. Henzinger-t and R. J. , « A Comparison of Control Problems for Timed and Hybrid Systems, Proc. 5th International Workshop on Hybrid Systems, Computation and Control (HSCC'02), pp.134-148, 2002.

C. F. , D. A. Fleury-e, L. G. Larsen-k, . M. Abadi, and . De-alfaro-l, « Efficient On-The- Fly Algorithms for the Analysis of Timed Games, Proc. 16th International Conference on Concurrency Theory (CONCUR'05)

. F. Cassez, Efficient On-the-Fly Algorithms for Partially Observable Timed Games, Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'07), pp.5-24, 2007.
DOI : 10.1007/978-3-540-75454-1_3
URL : https://hal.archives-ouvertes.fr/hal-00268001

C. F. , D. A. Larsen-k, L. D. , and R. J. , « Timed Control with Observation Based and Stuttering Invariant Strategies, Proc. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07) de Lecture Notes in Computer Science, pp.307-321, 2007.

. Dew, . M. De, . Doyen-l, R. J. Markey-n, I. Robustness et al., Joint International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'04) and Formal Techniques in Real- Time and Fault-Tolerant Systems, de Lecture Notes in Computer Science, pp.118-133, 2004.

. Dew, . M. De, and R. J. Doyen-l, « Almost ASAP Semantics: From Timed Models to Timed Implementations, Proc. 7th International Workshop Hybrid Systems, Computation and Control, pp.296-310, 2004.

. Dew, . M. De, R. J. Doyen-l, A. Almost, and . Semantics, From Timed Models to Timed Implementations, Formal Aspects of Computing, vol.17, issue.3, pp.319-341, 2005.

. Dew, . M. De, and R. J. Doyen-l, « Systematic Implementation of Real- Time Models, Proc. International Symposium of Formal Methods Europe (FM'05), pp.139-156, 2005.

D. Wulf, M. Doyen-l, and R. J. , A Lattice Theory for Solving Games of Imperfect Information, Proc. 9th International Workshop Hybrid Systems, Computation and Control (HSCC'06), pp.153-168, 2006.
DOI : 10.1007/11730637_14

. ]. Madhusudan-p, « Timed Control Synthesis for External Specifications, Proc. 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02), pp.571-582, 2002.

. M. Faëlla, T. S. La, and . Murano-a, Dense real-time games, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.167-176, 2002.
DOI : 10.1109/LICS.2002.1029826

H. T. Ho-p, «. H. Wong-toi, and . Hytech, A Model-Checker for Hybrid Systems, Journal on Software Tools for Technology Transfer, vol.1, pp.1-2, 1997.

H. T. Kopke-p and P. A. Varaiya-p, « What's decidable about hybrid automata ?, Journal of Computer and System Sciences, vol.57, pp.94-124, 1998.

H. T. Kopke-p, . A. Henzinger-t, . S. Prabhu-v, . Asarin-e, and . Bouyer-p, « Discrete-time control for rectangular hybrid automata, Timed Alternating-Time Temporal Logic » Proc. 4th International Conferences on Formal Modelling and Analysis of Timed Systems de Lecture Notes in Computer Science, pp.369-392, 1999.

H. T. Prabhu-v, « Timed Alternating-Time Temporal Logic, Proc. 4th International Conferences on Formal Modelling and Analysis of Timed Systems, pp.1-17, 2006.

. Hoffmann-g and . H. Wong-toi, « The input-output control of real-time discreteevent systems, Proc. 13th Annual Real-time Systems Symposium, pp.256-265, 1992.

. F. Laroussinie, «. G. Larsen-k, and . Cmc, CMC: A Tool for Compositional Model-Checking of Real-Time Systems, Proc. IFIP Joint International Conference on Formal Description Techniques & Protocol Specification, Testing, and Verification (FORTE- PSTV'98), pp.439-456, 1998.
DOI : 10.1007/978-0-387-35394-4_27

. F. Laroussinie, . Markey-n, A. E. Oreiby-g, and . Bouyer-p, Model-Checking Timed ATL for Durational Concurrent Game Structures, Model Checking Timed ATL for Durational Concurrent Game Structures » Proc. 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), pp.245-259, 2006.
DOI : 10.1007/11867340_18
URL : https://hal.archives-ouvertes.fr/hal-01194613

T. S. La, . Mukhopadhyay-s, and . Murano-a, « Optimal-Reachability and Control for Acyclic Weighted Timed Automata, Proc. 2nd IFIP International Conference on Theoretical Computer Science (TCS'02) de IFIP Conference Proceedings, pp.485-497, 2002.

. Liu and S. S. Liu-x, Simple linear-time algorithms for minimal fixed points, Proc. 26th International Conference on Automata, Languages and Programming (ICALP'98) de Lecture Notes in Computer Science, pp.53-66, 1998.
DOI : 10.1007/BFb0055040

S. P. Bérard-b, . Bidoit-m, . Laroussinie-f, and . Petit-a, Vérification de logiciels : Techniques et outils de model-checking, 1999.

Y. S. and «. Kronos, A Verification Tool for Real-Time Systems, Journal of Software Tools for Technology Transfer, vol.1, pp.1-2, 1997.