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

A. Arnold and M. Nivat, Comportements de processus, Actes du Colloque AFCET " Les Mathématiques de l'Informatique, pp.35-68, 1982.

R. Barták, Dynamic Constraint Models for Complex Production Environments, Proc. of the Joint ERCIM/Compulog-Net Workshop, Cyprus, 1999.

R. Dechter, I. Meiry, and J. Pearl, Temporal constraint networks, Temporal Constraint Networks, pp.61-95, 1991.
DOI : 10.1016/0004-3702(91)90006-6

G. Delzanno and A. Podelski, Constraint-based Deductive Model Checking. Software Tools for Technology Transfer, pp.250-270, 2001.

R. Fikes and N. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1971.
DOI : 10.1016/0004-3702(71)90010-5

J. Frank and A. Jónsson, Constraint-Based Attribute and Interval Planning, Constraints, vol.8, issue.4, pp.339-364, 2003.
DOI : 10.1023/A:1025842019552

M. Ghallab, D. Nau, and P. Traverso, Automated Planning : Theory and Practice, 2004.

H. Kautz and B. Selman, Planning as Satisfiability, Proc. of ECAI-92, pp.359-363, 1992.

N. Kushmerick, S. Hanks, and D. Weld, An algorithm for probabilistic planning, Artificial Intelligence, vol.76, issue.1-2, pp.239-286, 1995.
DOI : 10.1016/0004-3702(94)00087-H

P. Laborie and M. Ghallab, IxTeT: an integrated approach for plan generation and scheduling, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, pp.485-495, 1995.
DOI : 10.1109/ETFA.1995.496801

H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl, GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, pp.1-359, 1997.
DOI : 10.1016/S0743-1066(96)00121-5

N. Muscettola, HSTS : Integrating Planning and Scheduling, Intelligent Scheduling, pp.169-212, 1994.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

C. Pralet, G. Verfaillie, and T. Schiex, Decision with Uncertainties, Feasibilities, and Utilities : Towards a Unified Algebraic Framework, Proc. of ECAI-06, pp.427-431, 2006.

M. Puterman, Markov Decision Processes, Discrete Stochastic Dynamic Programming, 1994.

P. Van-beek and X. Chen, CPlan : A Constraint Programming Approach to Planning, Proc. of AAAI- 99, pp.585-590, 1999.