M. Fox and D. Long, PDDL2.1: an extension to PDDL for expressing temporal planning domains, J. Artif. Intell. Res. (JAIR), vol.20, pp.61-124, 2003.

J. Kvarnström, Planning for loosely coupled agents using partial order forward-chaining, Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, 2011.

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

S. Edelkamp, Taming numbers and durations in the model checking integrated planning system, J. Artif. Intell. Res. (JAIR), vol.20, pp.195-238, 2003.

L. Khatib, N. Muscettola, and K. Havelund, Verification of Plan Models Using UPPAAL, pp.114-122, 2000.
DOI : 10.1007/3-540-45484-5_9

A. Cesta, A. Finzi, S. Fratini, A. Orlandini, and E. Tronci, Flexible Timeline-Based Plan Verification, KI 2009. German Conference on Artificial Intelligence, pp.49-56, 2009.
DOI : 10.1007/3-540-59042-0_76

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

L. Jezequel and E. Fabre, Networks of automata with read arcs: a tool for distributed planning, Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, pp.7012-7017, 2011.
DOI : 10.3182/20110828-6-IT-1002.03512

J. Tozicka, J. Jakubuv, and A. Komenda, Generating multiagent plans by distributed intersection of finite state machines, pp.1111-1112, 2014.

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

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

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

E. Asarin, O. Maler, and A. Pnueli, Symbolic controller synthesis for discrete and timed systems, Hybrid Systems II, LNCS 999, pp.1-20, 1995.
DOI : 10.1007/3-540-60472-3_1

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

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

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller synthesis for timed automata, IFAC Symposium on System Structure and Control, pp.469-474, 1998.

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

H. Gimbert and W. Zielonka, Games Where You Can Play Optimally Without Any Memory, CONCUR 2005, pp.428-442, 2005.
DOI : 10.1007/11539452_33
URL : https://hal.archives-ouvertes.fr/hal-00160435

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., UPPAAL-Tiga: Time for Playing Games!, pp.121-125, 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.

S. Bensalem, K. Havelund, and A. Orlandini, Verification and validation meet planning and scheduling, International Journal on Software Tools for Technology Transfer, vol.2, issue.1???2, pp.1-12, 2014.
DOI : 10.1007/s10009-013-0294-x

R. Alur, L. De-alfaro, R. Grosu, T. Henzinger, M. Kang et al., jMocha: a model checking tool that exploits design structure, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.835-836, 2001.
DOI : 10.1109/ICSE.2001.919196

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

G. Aucher and T. Bolander, Undecidability in epistemic planning Available: https, IJCAI-2013, 2013.