Allen KoomenAllen Koomen1983
Allen, J. Koomen, J. A. 1983.
Planning in a Temporal World Model
In Proceedings of the Eigth International Joint Conference on Artificial Intelligence, 741-747.

Alur DillAlur Dill1994
Alur, R. Dill, D. L. 1994.
A Theory of Timed Automata
Theoretical Computer Science, 126, 183-235.

Androulakis, I. P. 2001.
MINLP: Branch and Bound Methods
In Floudas, C. A. Pardalos, P. M., Encyclopaedia of Optimisation, 3, 325-331. Kluwer Academic.

Aylett, Soutter, Petley, Chung, EdwardsAylett et al.2001
Aylett, R., Soutter, J., Petley, G., Chung, P., Edwards, D. 2001.
Planning plant operating procedures for a chemical plant
Engineering Applications of Artificial Intelligence, 14(3).

Bacchus, F. 2003.
The power of modeling--a response to PDDL2.1
Journal of AI Research, 20, 125-132.

Beasley, Krishnamoorthy, Sharaiha, AbramsonBeasley et al.2000
Beasley, J., Krishnamoorthy, M., Sharaiha, Y., Abramson, D. 2000.
Scheduling Aircraft Landings: The Static Case
Transportation Science, 34(2), 180-197.

Behrmann, Larsen, RasmussenBehrmann et al.2005
Behrmann, G., Larsen, K., Rasmussen, J. 2005.
Optimal Scheduling Using Priced Timed Automata
SIGMETRICS Perform. Eval. Rev., 32(4), 34-40.

Benazera, Brafman, Meuleau, Mausam, HansenBenazera et al.2005
Benazera, E., Brafman, R., Meuleau, N., Mausam, Hansen, E. A. 2005.
An AO* Algorithm for Planning with Continuous Resources
In Workshop on Planning under Uncertainty for Autonomous Systems, associated with the International Conference on AI Planning and Scheduling (ICAPS).

Benders, J. F. 1962.
Partitioning Procedures for Solving Mixed-Variables Programming Problems
Numerische Mathematik, 4, 238-252.

Blake, Bridges, Chester, Clemmet, Hall, Hannington, Hurst, Johnson, Lewis, Malin, Morison, Northey, Pullan, Rennie, Richter, Rothery, Shaughnessy, Sims, Smith, Townend, WaughBlake et al.2004
Blake, O., Bridges, J., Chester, E., Clemmet, J., Hall, S., Hannington, M., Hurst, S., Johnson, G., Lewis, S., Malin, M., Morison, I., Northey, D., Pullan, D., Rennie, G., Richter, L., Rothery, D., Shaughnessy, B., Sims, M., Smith, A., Townend, M., Waugh, L. 2004.
Beagle2 Mars: Mission Report.
Lander Operations Control Centre, National Space Centre, University of Leicester.

Boddy, M. 2003.
Imperfect match: PDDL2. and real applications
Journal of AI Research, 20, 133-137.

Boddy JohnsonBoddy Johnson2002
Boddy, M. Johnson, D. 2002.
A new method for the solution of large systems of continuous constraints
In Proceedings of 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-02).

Boddy JohnsonBoddy Johnson2004
Boddy, M. Johnson, D. 2004.
Integrated planning and scheduling for petroleum refinery operations
In Proceedings of ICAPS Workshop on Integrating Planning into Scheduling (WIPIS).

de Kleer Brownde Kleer Brown1984
de Kleer, J. Brown, J. S. 1984.
A Qualitative Physics based on Confluences
Artificial Intelligence, 24, 7-83.

Dechter, Meiri, PearlDechter et al.1991
Dechter, R., Meiri, I., Pearl, J. 1991.
Temporal constraint networks
Artificial Intelligence, 49.

Dierks, H. 2005.
Finding Optimal Plans for Domains with Restricted Continuous Effects with UPPAAL-cora
In First Workshop on Validation and Verification for Planning, ICAPS-05.

Edelkamp, S. 2003.
Promela Planning
In Proceedings of 10th International SPIN Workshop on Model Checking of Software, 197-212.

Forbus, K. 1984.
Qualitative Process Theory
Artificial Intelligence, 24, 85-168.

Fox, Howey, LongFox et al.2005
Fox, M., Howey, R., Long, D. 2005.
Exploration of the Robustness of Plans
In Workshop on Verification and Validation of Model-based Planning and Scheduling Systems, associated with the International Conference on AI Planning and Scheduling (ICAPS)).

Fox, Howey, LongFox et al.2006
Fox, M., Howey, R., Long, D. 2006.
Exploration of the Robustness of Plans
In Proceedings of The 21st National Conference on Artificial Intelligence (AAAI-06).

Fox LongFox Long2003
Fox, M. Long, D. 2003.
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Journal of AI Research, 20, 61-124.

Fox LongFox Long2004
Fox, M. Long, D. 2004.
An Investigation into the Expressive Power of PDDL2.1
In Proceedings of the Sixteenth European Conference on Artificial Intelligence.

Frank JónssonFrank Jónsson2003
Frank, J. Jónsson, A. 2003.
Constraint-based Attribute and Interval Planning
Journal of Constraints, 8 (Special Issue on Constraints and Planning)(4), 339-364.

Frank, Jönsson, MorrisFrank et al.2000
Frank, J., Jönsson, A., Morris, P. 2000.
On Reformulating Planning as Dynamic Constraint Satisfaction (Extended Abstract)
In Symposium on Abstraction, Reformulation and Approximation (SARA).

Grossmann, I. E. 2002.
Review of Nonlinear, Mixed-Integer and Disjunctive Programming Techniques
Optimization and Engineering, 3, 227-252.

Gupta, Henziner, JagadeesanGupta et al.1997
Gupta, V., Henziner, T., Jagadeesan, R. 1997.
Robust Timed Automata
In HART'97: Hybrid and Real-time Systems, LNCS 1201, 331-345. Springer-Verlag.

Haroud FaltingsHaroud Faltings1994
Haroud, D. Faltings, B. 1994.
Global Consistency for Continuous Constraints
In Principles and Practice of Constraint Programming, 40-50.

Helmert, M. 2002.
Decidability and undecidability results for planning with numerical state variables
In Proceedings of sixth conference on AI Planning Systems (AIPS).

Henzinger, T. 1996.
The Theory of Hybrid Automata
In Proceedings of the 11th Annual Symposium on ogic in Computer Science. Invited tutorial., 278-292. IEEE Computer Society Press.

Henzinger, Ho, Wong-ToiHenzinger et al.1995
Henzinger, T., Ho, P.-H., Wong-Toi, H. 1995.
A user guide to HYTECH
In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, Tool and Algorithms for the Construction and Analysis of Systems: (TACAS 95), volume 1019 of Lecture Notes in Computer Science, 41-71.

Henzinger RaskinHenzinger Raskin2000
Henzinger, T. Raskin, J.-F. 2000.
Robust Undecidability of Timed and Hybrid Systems
In Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control. LNCS 1790., 145-159. Springer-Verlag.

Henzinger, Kopke, Puri, VaraiyaHenzinger et al.1998
Henzinger, T. A., Kopke, P. W., Puri, A., Varaiya, P. 1998.
What's Decidable about Hybrid Automata?
Journal of Computer and System Sciences, 57, 94-124.

Herrmann ThielscherHerrmann Thielscher1996
Herrmann, C. S. Thielscher, M. 1996.
Reasoning about continuous processes
In Clancey, B. Weld, D., Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI), 639-644, Portland, OR. MIT Press.

Hoffmann EdelkampHoffmann Edelkamp2005
Hoffmann, J. Edelkamp, S. 2005.
The Classical Part of IPC-4: An Overview
Journal of AI Research, To appear.

Hofmann WilliamsHofmann Williams2006
Hofmann, A. Williams, B. 2006.
Robust execution of temporally flexible plans for bipedal walking devices
In Proceedings of 16th International Conference on Automated Planning and Scheduling (ICAPS), 386-389.

Howey, Long, FoxHowey et al.2004
Howey, R., Long, D., Fox, M. 2004.
VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL
In Proceedings of 16th IEEE International Conference on Tools with Artificial Intelligence.

Jónsson FrankJónsson Frank2000
Jónsson, A. Frank, J. 2000.
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
In Proceedings of 14th European Conference on AI, 93-97.

Jónsson, Morris, Muscettola, Rajan, SmithJónsson et al.2000
Jónsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B. 2000.
Planning in Interplanetary Space: Theory and Practice
In Proceedings of 5th International Conference on AI Planning Systems, 177-186.

Keller, R. 1976.
Formal Verification of Parallel Programs
Communications of the ACM, 19(7), 371-384.

Kuipers, B. 1984.
Commonsense Reasoning about Causality: Deriving Behaviour from Structure
Artificial Intelligence, 24, 169-203.

Laborie GhallabLaborie Ghallab1995
Laborie, P. Ghallab, M. 1995.
Planning with sharable resource constraints
In Proc. of 14th International Joint Conference on AI. Morgan Kaufmann.

Lamba, Dietz, Johnson, BoddyLamba et al.2003
Lamba, N., Dietz, M., Johnson, D., Boddy, M. 2003.
A method for global optimization of large systems of quadratic constraints
In Proceedings of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-03).

Larsen, Behrmann, Brinksma, Fehnker, Hune, Pettersson, RomijnLarsen et al.2001
Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J. 2001.
The use of optimistic and pessimistic resource profiles to inform search in an activity based planner
In Proceedings of 13th Conference on Computer Aided Verification (CAV-01)). Springer Verlag, Lecture Notes in Computer Science 2102.

Léauté WilliamsLéauté Williams2005
Léauté, T. Williams, B. 2005.
Coordinating Agile Systems through the Model-based Execution of Temporal Plans
In Proceedings of 20th National Conference on AI (AAAI), 114-120.

McAllester RosenblittMcAllester Rosenblitt1991
McAllester, D. Rosenblitt, D. 1991.
Systematic Nonlinear Planning
In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), 2, 634-639, Anaheim, California, USA. AAAI Press/MIT Press.

McDermott, D. 2003a.
PDDL2.1 - The Art of the Possible? Commentary on Fox and Long
Journal of AI Research, 20, 145-148.

McDermott, D. 2003b.
Reasoning about autonomous processes in an estimated-regression planner
In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS'03).

McDermott, D. 2005.
Reasoning about Autonomous Processes in an Estimated Regression Planner
In Proceedings of 13th International Conference on Automated Planning and Scheduling (ICAPS), 143-152. AAAI-Press.

McDermott the AIPS'98 Planning Competition CommitteeMcDermott the AIPS'98 Planning Competition Committee1998
McDermott, D. the AIPS'98 Planning Competition Committee 1998.
PDDL-the planning domain definition language
, Available at:

McDermott, D. 2004.
The Opt and Optop API
, Yale University.

Muscettola, N. 1993.
HSTS: Integrating Planning and Scheduling
In Zweben, M. Fox, M., Intelligent Scheduling, 169-212. Morgan Kaufmann, San Mateo, CA.

Musliner, Durfee, ShinMusliner et al.1993
Musliner, D. J., Durfee, E. H., Shin, K. G. 1993.
CIRCA: A Cooperative Intelligent Real-time Control Archtecture
IEEE Transactions on Systems, Man and Cybernetics, 23(6), 1561-1574.

Penberthy WeldPenberthy Weld1992
Penberthy, J. Weld, D. 1992.
UCPOP: a sound, complete, partial-order planner for ADL
In Proc. Int. Conf. On Principles of Knowledge Representation and Reasoning, 103-114, Los Altos, CA. Kaufmann.

Penberthy WeldPenberthy Weld1994
Penberthy, S. Weld, D. 1994.
Temporal Planning with Continuous Change
In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI), 1010-1015. AAAI/MIT Press.

Rasmussen, Larsen, SubramaniRasmussen et al.2004
Rasmussen, J. I., Larsen, K. G., Subramani, K. 2004.
Resource Optimal Scheduling using Priced Timed Automata
In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 220-235. Springer-Verlag, Lecture Notes in Computer Science, 2988.

Reiter, R. 1996.
Natural Actions, Concurrency and Continuous Time in the Situation Calculus
In Aiello, L., Doyle, J., Shapiro, S., KR-96: Principles of Knowledge Representation and Reasoning, 2-13. Morgan Kaufmann.

Reiter, R. 2001.
Knowledge in Action: Logical Foundations for Secifying and Implementing Dynamical Systems.
MIT Press.

Sandewall, E. 1989.
Combining Logic and Differential Equations for describing Real World Systems
In Proceedings of Knowledge Representation (KR), 412-420.

Shanahan, M. 1990.
Representing Continuous Change in the Event Calculus
In Proceedings of 9th European Conference on AI, 598-603.

Shin DavisShin Davis2005
Shin, J.-A. Davis, E. 2005.
Processes and Continuous Change in a SAT-based Planner
Artificial Intelligence, 166, 194-253.

Smith, D. 2003.
The case for durative actions: A commentary on PDDL2.1
Journal of AI Research, 20, 149-154.

Wolfman WeldWolfman Weld1999
Wolfman, S. Weld, D. 1999.
The LPSAT System and its Application to Resource Planning
In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.

Wu ChowWu Chow1995
Wu, S. J. Chow, P. T. 1995.
Genetic Algorithms for Nonlinear Mixed Discrete-Integer Optimization Problems via Meta-Genetic Parameter Optimization
Engineering Optimization, 24(2), 137-159.

Yi, Larsen, PetterssonYi et al.1997
Yi, W., Larsen, K., Pettersson, P. 1997.
UPPAAL in a Nutshell
International Journal of Software Tools for Technology Transfer, 1(1).

Derek Long 2006-10-09