F. Giunchiglia and P. Traverso, Planning as Model Checking, ECP'99, pp.1-20, 1999.
DOI : 10.1007/10720246_1

A. Cimatti, M. Pistore, M. Roveri, and P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, vol.147, issue.1-2, pp.35-84, 2003.
DOI : 10.1016/S0004-3702(02)00374-0
URL : http://doi.org/10.1016/s0004-3702(02)00374-0

A. Cesta, A. Finzi, S. Fratini, A. Orlandini, and E. Tronci, Analyzing Flexible Timeline-Based Plans, pp.2010-471, 2010.
DOI : 10.1007/978-3-642-04617-9_7

A. Orlandini, A. Finzi, A. Cesta, and S. Fratini, TGA-Based Controllers for Flexible Plan Execution, pp.233-245, 2011.
DOI : 10.1007/978-3-642-24455-1_22
URL : http://www.fedoa.unina.it/9584/1/2F978-3-642-24455-1_22.pdf

A. Lomuscio and F. Raimondi, Model checking knowledge, strategies, and games in multi-agent systems, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.2006-161, 2006.
DOI : 10.1145/1160633.1160660

A. Lomuscio, H. Qu, and F. Raimondi, MCMAS: A Model Checker for the Verification of Multi-Agent Systems, pp.682-688, 2009.
DOI : 10.1007/978-3-642-02658-4_55

A. Lomuscio and J. Michaliszyn, Decidability of model checking multi-agent systems against a class of EHS specifications, pp.2014-543, 2014.

X. Huang and R. Van-der-meyden, Symbolic model checking epistemic strategy logic, p.14, 2014.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

P. Bouyer, F. Cassez, E. Fleury, and K. Larsen, Optimal strategies in priced timed game automata, LNCS, vol.3328, pp.2004-148, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00350483

R. Alur, L. Torre, S. Pappas, and G. , Optimal paths in weighted timed automata, pp.2001-2050, 2001.

E. Asarin, O. Maler, and A. Pnueli, Symbolic controller synthesis for discrete and timed systems, Hybrid Systems II, pp.1-20, 1995.
DOI : 10.1007/3-540-60472-3_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.5633

T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045

E. Clarke, O. Grumberg, and D. Peled, Model-Checking, 2002.

P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1994.
DOI : 10.1109/5.21072

R. Alur, C. Courcoubetis, and D. L. Dill, Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen et al., Uppaaltiga: Time for playing games!, pp.2007-121, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

G. Behrmann, K. Larsen, and J. Rasmussen, Priced Timed Automata: Algorithms and Applications, pp.162-182, 2004.
DOI : 10.1007/11561163_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.7115

R. Milner, Communication and Concurrency, 1989.

W. Cohen, Fast Effective Rule Induction, Proceedings of the Twelfth International Conference on Machine Learning, pp.115-123, 1995.
DOI : 10.1016/B978-1-55860-377-6.50023-2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.2612