A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Comportements de processus, Actes du Colloque AFCET " Les Mathématiques de l'Informatique, pp.35-68, 1982. ,
Dynamic Constraint Models for Complex Production Environments, Proc. of the Joint ERCIM/Compulog-Net Workshop, Cyprus, 1999. ,
Temporal constraint networks, Temporal Constraint Networks, pp.61-95, 1991. ,
DOI : 10.1016/0004-3702(91)90006-6
Constraint-based Deductive Model Checking. Software Tools for Technology Transfer, pp.250-270, 2001. ,
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
Constraint-Based Attribute and Interval Planning, Constraints, vol.8, issue.4, pp.339-364, 2003. ,
DOI : 10.1023/A:1025842019552
Automated Planning : Theory and Practice, 2004. ,
Planning as Satisfiability, Proc. of ECAI-92, pp.359-363, 1992. ,
An algorithm for probabilistic planning, Artificial Intelligence, vol.76, issue.1-2, pp.239-286, 1995. ,
DOI : 10.1016/0004-3702(94)00087-H
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
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
HSTS : Integrating Planning and Scheduling, Intelligent Scheduling, pp.169-212, 1994. ,
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
Decision with Uncertainties, Feasibilities, and Utilities : Towards a Unified Algebraic Framework, Proc. of ECAI-06, pp.427-431, 2006. ,
Markov Decision Processes, Discrete Stochastic Dynamic Programming, 1994. ,
CPlan : A Constraint Programming Approach to Planning, Proc. of AAAI- 99, pp.585-590, 1999. ,