\begin{thebibliography}{}

\bibitem[\protect\BCAY{Allen\ \BBA\ Koomen}{Allen\ \BBA\ Koomen}{1983}]{koomen}
Allen, J.\BBACOMMA\  \BBA\ Koomen, J.~A. \BBOP1983\BBCP.
\newblock \BBOQ Planning in a {T}emporal {W}orld {M}odel\BBCQ\
\newblock In {\Bem Proceedings of the Eigth International Joint Conference on
  Artificial Intelligence}, \BPGS\ 741--747.

\bibitem[\protect\BCAY{Alur\ \BBA\ Dill}{Alur\ \BBA\ Dill}{1994}]{dill}
Alur, R.\BBACOMMA\  \BBA\ Dill, D.~L. \BBOP1994\BBCP.
\newblock \BBOQ A {T}heory of {T}imed {A}utomata\BBCQ\
\newblock {\Bem Theoretical Computer Science}, {\Bem 126}, 183--235.

\bibitem[\protect\BCAY{Androulakis}{Androulakis}{2001}]{bandb}
Androulakis, I.~P. \BBOP2001\BBCP.
\newblock \BBOQ {MINLP}: {B}ranch and {B}ound {M}ethods\BBCQ\
\newblock In Floudas, C.~A.\BBACOMMA\  \BBA\ Pardalos, P.~M.\BEDS, {\Bem
  Encyclopaedia of Optimisation}, \lowercase{\BVOL}~3, \BPGS\ 325--331. Kluwer
  Academic.

\bibitem[\protect\BCAY{Aylett, Soutter, Petley, Chung,\ \BBA\ Edwards}{Aylett
  et~al.}{2001}]{aylett}
Aylett, R., Soutter, J., Petley, G., Chung, P., \BBA\ Edwards, D.
  \BBOP2001\BBCP.
\newblock \BBOQ Planning plant operating procedures for a chemical plant\BBCQ\
\newblock {\Bem Engineering Applications of Artificial Intelligence}, {\Bem
  14(3)}.

\bibitem[\protect\BCAY{Bacchus}{Bacchus}{2003}]{baccComm}
Bacchus, F. \BBOP2003\BBCP.
\newblock \BBOQ The power of modeling---a response to {PDDL2.1}\BBCQ\
\newblock {\Bem Journal of {AI} Research}, {\Bem 20}, 125--132.

\bibitem[\protect\BCAY{Beasley, Krishnamoorthy, Sharaiha,\ \BBA\
  Abramson}{Beasley et~al.}{2000}]{landing}
Beasley, J., Krishnamoorthy, M., Sharaiha, Y., \BBA\ Abramson, D.
  \BBOP2000\BBCP.
\newblock \BBOQ {S}cheduling {A}ircraft {L}andings: {T}he {S}tatic {C}ase\BBCQ\
\newblock {\Bem Transportation Science}, {\Bem 34\/}(2), 180--197.

\bibitem[\protect\BCAY{Behrmann, Larsen,\ \BBA\ Rasmussen}{Behrmann
  et~al.}{2005}]{larsen}
Behrmann, G., Larsen, K., \BBA\ Rasmussen, J. \BBOP2005\BBCP.
\newblock \BBOQ {O}ptimal {S}cheduling {U}sing {P}riced {T}imed
  {A}utomata\BBCQ\
\newblock {\Bem {SIGMETRICS} Perform. Eval. Rev.}, {\Bem 32\/}(4), 34--40.

\bibitem[\protect\BCAY{Benazera, Brafman, Meuleau, Mausam,\ \BBA\
  Hansen}{Benazera et~al.}{2005}]{meuleau}
Benazera, E., Brafman, R., Meuleau, N., Mausam, \BBA\ Hansen, E.~A.
  \BBOP2005\BBCP.
\newblock \BBOQ An {AO*} {A}lgorithm for {P}lanning with {C}ontinuous
  {R}esources\BBCQ\
\newblock In {\Bem Workshop on {P}lanning under {U}ncertainty for {A}utonomous
  {S}ystems, associated with the International Conference on AI Planning and
  Scheduling (ICAPS)}.

\bibitem[\protect\BCAY{Benders}{Benders}{1962}]{benders}
Benders, J.~F. \BBOP1962\BBCP.
\newblock \BBOQ Partitioning {P}rocedures for {S}olving {M}ixed-{V}ariables
  {P}rogramming {P}roblems\BBCQ\
\newblock {\Bem Numerische Mathematik}, {\Bem 4}, 238--252.

\bibitem[\protect\BCAY{Blake, Bridges, Chester, Clemmet, Hall, Hannington,
  Hurst, Johnson, Lewis, Malin, Morison, Northey, Pullan, Rennie, Richter,
  Rothery, Shaughnessy, Sims, Smith, Townend,\ \BBA\ Waugh}{Blake
  et~al.}{2004}]{beagle}
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., \BBA\ Waugh, L. \BBOP2004\BBCP.
\newblock {\Bem Beagle2 {M}ars: Mission Report}.
\newblock Lander Operations Control Centre, National Space Centre, University
  of Leicester.

\bibitem[\protect\BCAY{Boddy}{Boddy}{2003}]{boddyComm}
Boddy, M. \BBOP2003\BBCP.
\newblock \BBOQ Imperfect match: {PDDL2.} and real applications\BBCQ\
\newblock {\Bem Journal of {AI} Research}, {\Bem 20}, 133--137.

\bibitem[\protect\BCAY{Boddy\ \BBA\ Johnson}{Boddy\ \BBA\
  Johnson}{2002}]{boddy2}
Boddy, M.\BBACOMMA\  \BBA\ Johnson, D. \BBOP2002\BBCP.
\newblock \BBOQ A new method for the solution of large systems of continuous
  constraints\BBCQ\
\newblock In {\Bem Proceedings of 1st International Workshop on Global
  Constrained Optimization and Constraint Satisfaction (COCOS-02)}.

\bibitem[\protect\BCAY{Boddy\ \BBA\ Johnson}{Boddy\ \BBA\
  Johnson}{2004}]{boddy}
Boddy, M.\BBACOMMA\  \BBA\ Johnson, D. \BBOP2004\BBCP.
\newblock \BBOQ Integrated planning and scheduling for petroleum refinery
  operations\BBCQ\
\newblock In {\Bem Proceedings of {ICAPS} Workshop on Integrating Planning into
  Scheduling (WIPIS)}.

\bibitem[\protect\BCAY{de~Kleer\ \BBA\ Brown}{de~Kleer\ \BBA\
  Brown}{1984}]{dekleer}
de~Kleer, J.\BBACOMMA\  \BBA\ Brown, J.~S. \BBOP1984\BBCP.
\newblock \BBOQ A {Q}ualitative {P}hysics based on {C}onfluences\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 24}, 7--83.

\bibitem[\protect\BCAY{Dechter, Meiri,\ \BBA\ Pearl}{Dechter
  et~al.}{1991}]{dechter}
Dechter, R., Meiri, I., \BBA\ Pearl, J. \BBOP1991\BBCP.
\newblock \BBOQ Temporal constraint networks\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 49}.

\bibitem[\protect\BCAY{Dierks}{Dierks}{2005}]{dierks}
Dierks, H. \BBOP2005\BBCP.
\newblock \BBOQ Finding {O}ptimal {P}lans for {D}omains with {R}estricted
  {C}ontinuous {E}ffects with {UPPAAL}-cora\BBCQ\
\newblock In {\Bem First Workshop on Validation and Verification for Planning,
  ICAPS-05}.

\bibitem[\protect\BCAY{Edelkamp}{Edelkamp}{2003}]{stefan}
Edelkamp, S. \BBOP2003\BBCP.
\newblock \BBOQ Promela {P}lanning\BBCQ\
\newblock In {\Bem Proceedings of 10th International {SPIN} Workshop on Model
  Checking of Software}, \BPGS\ 197--212.

\bibitem[\protect\BCAY{Forbus}{Forbus}{1984}]{forbus}
Forbus, K. \BBOP1984\BBCP.
\newblock \BBOQ Qualitative {P}rocess {T}heory\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 24}, 85--168.

\bibitem[\protect\BCAY{Fox, Howey,\ \BBA\ Long}{Fox et~al.}{2005}]{fuzzy}
Fox, M., Howey, R., \BBA\ Long, D. \BBOP2005\BBCP.
\newblock \BBOQ Exploration of the {R}obustness of {P}lans\BBCQ\
\newblock In {\Bem Workshop on {V}erification and {V}alidation of {M}odel-based
  {P}lanning and {S}cheduling {S}ystems, associated with the International
  Conference on AI Planning and Scheduling (ICAPS))}.

\bibitem[\protect\BCAY{Fox, Howey,\ \BBA\ Long}{Fox et~al.}{2006}]{AAAIevents}
Fox, M., Howey, R., \BBA\ Long, D. \BBOP2006\BBCP.
\newblock \BBOQ Exploration of the {R}obustness of {P}lans\BBCQ\
\newblock In {\Bem Proceedings of The 21st National Conference on Artificial
  Intelligence (AAAI-06)}.

\bibitem[\protect\BCAY{Fox\ \BBA\ Long}{Fox\ \BBA\ Long}{2003}]{pddl2}
Fox, M.\BBACOMMA\  \BBA\ Long, D. \BBOP2003\BBCP.
\newblock \BBOQ {PDDL2.1}: {A}n {E}xtension to {PDDL} for {E}xpressing
  {T}emporal {P}lanning {D}omains\BBCQ\
\newblock {\Bem Journal of {AI} {R}esearch}, {\Bem 20}, 61--124.

\bibitem[\protect\BCAY{Fox\ \BBA\ Long}{Fox\ \BBA\ Long}{2004}]{ecai}
Fox, M.\BBACOMMA\  \BBA\ Long, D. \BBOP2004\BBCP.
\newblock \BBOQ An {I}nvestigation into the {E}xpressive {P}ower of
  {PDDL2.1}\BBCQ\
\newblock In {\Bem Proceedings of the Sixteenth European Conference on
  Artificial Intelligence}.

\bibitem[\protect\BCAY{Frank\ \BBA\ J\'{o}nsson}{Frank\ \BBA\
  J\'{o}nsson}{2003}]{jezzer}
Frank, J.\BBACOMMA\  \BBA\ J\'{o}nsson, A. \BBOP2003\BBCP.
\newblock \BBOQ Constraint-based {A}ttribute and {I}nterval {P}lanning\BBCQ\
\newblock {\Bem Journal of Constraints}, {\Bem 8 (Special Issue on Constraints
  and Planning)\/}(4), 339--364.

\bibitem[\protect\BCAY{Frank, J{\"{o}}nsson,\ \BBA\ Morris}{Frank
  et~al.}{2000}]{sara}
Frank, J., J{\"{o}}nsson, A., \BBA\ Morris, P. \BBOP2000\BBCP.
\newblock \BBOQ On {R}eformulating {P}lanning as {D}ynamic {C}onstraint
  {S}atisfaction ({E}xtended {A}bstract)\BBCQ\
\newblock In {\Bem Symposium on Abstraction, Reformulation and Approximation
  (SARA)}.

\bibitem[\protect\BCAY{Grossmann}{Grossmann}{2002}]{minlp}
Grossmann, I.~E. \BBOP2002\BBCP.
\newblock \BBOQ Review of {N}onlinear, {M}ixed-{I}nteger and {D}isjunctive
  {P}rogramming {T}echniques\BBCQ\
\newblock {\Bem Optimization and Engineering}, {\Bem 3}, 227--252.

\bibitem[\protect\BCAY{Gupta, Henziner,\ \BBA\ Jagadeesan}{Gupta
  et~al.}{1997}]{henzinger1}
Gupta, V., Henziner, T., \BBA\ Jagadeesan, R. \BBOP1997\BBCP.
\newblock \BBOQ Robust {T}imed {A}utomata\BBCQ\
\newblock In {\Bem {HART'97}: Hybrid and Real-time Systems, LNCS 1201}, \BPGS\
  331--345. Springer-Verlag.

\bibitem[\protect\BCAY{Haroud\ \BBA\ Faltings}{Haroud\ \BBA\
  Faltings}{1994}]{falts}
Haroud, D.\BBACOMMA\  \BBA\ Faltings, B. \BBOP1994\BBCP.
\newblock \BBOQ Global {C}onsistency for {C}ontinuous {C}onstraints\BBCQ\
\newblock In {\Bem Principles and Practice of Constraint Programming}, \BPGS\
  40--50.

\bibitem[\protect\BCAY{Helmert}{Helmert}{2002}]{helmert}
Helmert, M. \BBOP2002\BBCP.
\newblock \BBOQ Decidability and undecidability results for planning with
  numerical state variables\BBCQ\
\newblock In {\Bem Proceedings of sixth conference on {AI Planning Systems}
  ({AIPS})}.

\bibitem[\protect\BCAY{Henzinger}{Henzinger}{1996}]{henzinger}
Henzinger, T. \BBOP1996\BBCP.
\newblock \BBOQ The {T}heory of {H}ybrid {A}utomata\BBCQ\
\newblock In {\Bem Proceedings of the 11th Annual Symposium on ogic in Computer
  Science. Invited tutorial.}, \BPGS\ 278--292. IEEE Computer Society Press.

\bibitem[\protect\BCAY{Henzinger, Ho,\ \BBA\ Wong-Toi}{Henzinger
  et~al.}{1995}]{hytech}
Henzinger, T., Ho, P.-H., \BBA\ Wong-Toi, H. \BBOP1995\BBCP.
\newblock \BBOQ A user guide to {HYTECH}\BBCQ\
\newblock In {\Bem 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},
  \BPGS\ 41--71.

\bibitem[\protect\BCAY{Henzinger\ \BBA\ Raskin}{Henzinger\ \BBA\
  Raskin}{2000}]{henzinger2}
Henzinger, T.\BBACOMMA\  \BBA\ Raskin, J.-F. \BBOP2000\BBCP.
\newblock \BBOQ Robust {U}ndecidability of {T}imed and {H}ybrid {S}ystems\BBCQ\
\newblock In {\Bem Proceedings of the 3rd International Workshop on Hybrid
  Systems: Computation and Control. LNCS 1790.}, \BPGS\ 145--159.
  Springer-Verlag.

\bibitem[\protect\BCAY{Henzinger, Kopke, Puri,\ \BBA\ Varaiya}{Henzinger
  et~al.}{1998}]{henzingerdecides}
Henzinger, T.~A., Kopke, P.~W., Puri, A., \BBA\ Varaiya, P. \BBOP1998\BBCP.
\newblock \BBOQ What's {D}ecidable about {H}ybrid {A}utomata?\BBCQ\
\newblock {\Bem Journal of Computer and System Sciences}, {\Bem 57}, 94--124.

\bibitem[\protect\BCAY{Herrmann\ \BBA\ Thielscher}{Herrmann\ \BBA\
  Thielscher}{1996}]{handt}
Herrmann, C.~S.\BBACOMMA\  \BBA\ Thielscher, M. \BBOP1996\BBCP.
\newblock \BBOQ Reasoning about continuous processes\BBCQ\
\newblock In Clancey, B.\BBACOMMA\  \BBA\ Weld, D.\BEDS, {\Bem Proceedings of
  the Thirteenth National Conference on Artificial Intelligence (AAAI)}, \BPGS\
  639--644, Portland, OR. MIT Press.

\bibitem[\protect\BCAY{Hoffmann\ \BBA\ Edelkamp}{Hoffmann\ \BBA\
  Edelkamp}{2005}]{pddl22}
Hoffmann, J.\BBACOMMA\  \BBA\ Edelkamp, S. \BBOP2005\BBCP.
\newblock \BBOQ The {C}lassical {P}art of {IPC}-4: {A}n {O}verview\BBCQ\
\newblock {\Bem Journal of {AI} {R}esearch}, {\Bem To appear}.

\bibitem[\protect\BCAY{Hofmann\ \BBA\ Williams}{Hofmann\ \BBA\
  Williams}{2006}]{brian}
Hofmann, A.\BBACOMMA\  \BBA\ Williams, B. \BBOP2006\BBCP.
\newblock \BBOQ Robust execution of temporally flexible plans for bipedal
  walking devices\BBCQ\
\newblock In {\Bem Proceedings of 16th International Conference on Automated
  Planning and Scheduling (ICAPS)}, \BPGS\ 386--389.

\bibitem[\protect\BCAY{Howey, Long,\ \BBA\ Fox}{Howey et~al.}{2004}]{ictaival}
Howey, R., Long, D., \BBA\ Fox, M. \BBOP2004\BBCP.
\newblock \BBOQ \val: Automatic plan validation, continuous effects and mixed
  initiative planning using \pddl\BBCQ\
\newblock In {\Bem Proceedings of 16th IEEE International Conference on Tools
  with Artificial Intelligence}.

\bibitem[\protect\BCAY{J\'{o}nsson\ \BBA\ Frank}{J\'{o}nsson\ \BBA\
  Frank}{2000}]{ari}
J\'{o}nsson, A.\BBACOMMA\  \BBA\ Frank, J. \BBOP2000\BBCP.
\newblock \BBOQ A {F}ramework for {D}ynamic {C}onstraint {R}easoning using
  {P}rocedural {C}onstraints\BBCQ\
\newblock In {\Bem Proceedings of 14th European Conference on AI}, \BPGS\
  93--97.

\bibitem[\protect\BCAY{J\'{o}nsson, Morris, Muscettola, Rajan,\ \BBA\
  Smith}{J\'{o}nsson et~al.}{2000}]{ames}
J\'{o}nsson, A., Morris, P., Muscettola, N., Rajan, K., \BBA\ Smith, B.
  \BBOP2000\BBCP.
\newblock \BBOQ Planning in {I}nterplanetary {S}pace: {T}heory and
  {P}ractice\BBCQ\
\newblock In {\Bem Proceedings of 5th International Conference on AI Planning
  Systems}, \BPGS\ 177--186.

\bibitem[\protect\BCAY{Keller}{Keller}{1976}]{lts}
Keller, R. \BBOP1976\BBCP.
\newblock \BBOQ {F}ormal {V}erification of {P}arallel {P}rograms\BBCQ\
\newblock {\Bem Communications of the {ACM}}, {\Bem 19\/}(7), 371--384.

\bibitem[\protect\BCAY{Kuipers}{Kuipers}{1984}]{kuipers}
Kuipers, B. \BBOP1984\BBCP.
\newblock \BBOQ Commonsense {R}easoning about {C}ausality: {D}eriving
  {B}ehaviour from {S}tructure\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 24}, 169--203.

\bibitem[\protect\BCAY{Laborie\ \BBA\ Ghallab}{Laborie\ \BBA\
  Ghallab}{1995}]{ixtet}
Laborie, P.\BBACOMMA\  \BBA\ Ghallab, M. \BBOP1995\BBCP.
\newblock \BBOQ Planning with sharable resource constraints\BBCQ\
\newblock In {\Bem Proc. of 14th International Joint Conference on AI}. Morgan
  Kaufmann.

\bibitem[\protect\BCAY{Lamba, Dietz, Johnson,\ \BBA\ Boddy}{Lamba
  et~al.}{2003}]{boddy1}
Lamba, N., Dietz, M., Johnson, D., \BBA\ Boddy, M. \BBOP2003\BBCP.
\newblock \BBOQ A method for global optimization of large systems of quadratic
  constraints\BBCQ\
\newblock In {\Bem Proceedings of 2nd International Workshop on Global
  Constrained Optimization and Constraint Satisfaction (COCOS-03)}.

\bibitem[\protect\BCAY{Larsen, Behrmann, Brinksma, Fehnker, Hune, Pettersson,\
  \BBA\ Romijn}{Larsen et~al.}{2001}]{PTAsAreDecidable}
Larsen, K.~G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson,
  P., \BBA\ Romijn, J. \BBOP2001\BBCP.
\newblock \BBOQ The use of optimistic and pessimistic resource profiles to
  inform search in an activity based planner\BBCQ\
\newblock In {\Bem Proceedings of 13th Conference on Computer Aided
  Verification (CAV-01))}. Springer Verlag, Lecture Notes in Computer Science
  2102.

\bibitem[\protect\BCAY{L\'{e}aut\'{e}\ \BBA\ Williams}{L\'{e}aut\'{e}\ \BBA\
  Williams}{2005}]{williams}
L\'{e}aut\'{e}, T.\BBACOMMA\  \BBA\ Williams, B. \BBOP2005\BBCP.
\newblock \BBOQ Coordinating {A}gile {S}ystems through the {M}odel-based
  {E}xecution of {T}emporal {P}lans\BBCQ\
\newblock In {\Bem Proceedings of 20th National Conference on AI (AAAI)},
  \BPGS\ 114--120.

\bibitem[\protect\BCAY{McAllester\ \BBA\ Rosenblitt}{McAllester\ \BBA\
  Rosenblitt}{1991}]{snlp}
McAllester, D.\BBACOMMA\  \BBA\ Rosenblitt, D. \BBOP1991\BBCP.
\newblock \BBOQ Systematic {N}onlinear {P}lanning\BBCQ\
\newblock In {\Bem Proceedings of the Ninth National Conference on Artificial
  Intelligence ({AAAI}-91)}, \lowercase{\BVOL}~2, \BPGS\ 634--639, Anaheim,
  California, USA. AAAI Press/MIT Press.

\bibitem[\protect\BCAY{McDermott}{McDermott}{2003a}]{drewComm}
McDermott, D. \BBOP2003a\BBCP.
\newblock \BBOQ {PDDL2.1} -- {T}he {A}rt of the {P}ossible? {C}ommentary on
  {Fox and Long}\BBCQ\
\newblock {\Bem Journal of {AI} Research}, {\Bem 20}, 145--148.

\bibitem[\protect\BCAY{McDermott}{McDermott}{2003b}]{drewICAPS}
McDermott, D. \BBOP2003b\BBCP.
\newblock \BBOQ Reasoning about autonomous processes in an estimated-regression
  planner\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on Automated
  Planning and Scheduling ({ICAPS'03})}.

\bibitem[\protect\BCAY{McDermott}{McDermott}{2005}]{trentopaper}
McDermott, D. \BBOP2005\BBCP.
\newblock \BBOQ Reasoning about {A}utonomous {P}rocesses in an {E}stimated
  {R}egression {P}lanner\BBCQ\
\newblock In {\Bem Proceedings of 13th International Conference on Automated
  Planning and Scheduling (ICAPS)}, \BPGS\ 143--152. AAAI-Press.

\bibitem[\protect\BCAY{McDermott\ \BBA\ the {AIPS'98} Planning
  Competition~Committee}{McDermott\ \BBA\ the {AIPS'98} Planning
  Competition~Committee}{1998}]{pddl}
McDermott, D.\BBACOMMA\  \BBA\ the {AIPS'98} Planning Competition~Committee
  \BBOP1998\BBCP.
\newblock \BBOQ {PDDL}--the planning domain definition language\BBCQ\
\newblock \BTR, Available at: {\small {\tt www.cs.yale.edu/homes/dvm}}.

\bibitem[\protect\BCAY{McDermott}{McDermott}{2004}]{mcdermott}
McDermott, D. \BBOP2004\BBCP.
\newblock \BBOQ The {O}pt and {O}ptop {API}\BBCQ\
\newblock \BTR, Yale University.

\bibitem[\protect\BCAY{Muscettola}{Muscettola}{1993}]{muscettola}
Muscettola, N. \BBOP1993\BBCP.
\newblock \BBOQ {HSTS}: {I}ntegrating {P}lanning and {S}cheduling\BBCQ\
\newblock In Zweben, M.\BBACOMMA\  \BBA\ Fox, M.\BEDS, {\Bem Intelligent
  Scheduling}, \BPGS\ 169--212. Morgan Kaufmann, San Mateo, CA.

\bibitem[\protect\BCAY{Musliner, Durfee,\ \BBA\ Shin}{Musliner
  et~al.}{1993}]{musliner}
Musliner, D.~J., Durfee, E.~H., \BBA\ Shin, K.~G. \BBOP1993\BBCP.
\newblock \BBOQ {CIRCA}: {A} {C}ooperative {I}ntelligent {R}eal-time {C}ontrol
  {A}rchtecture\BBCQ\
\newblock {\Bem IEEE Transactions on Systems, Man and Cybernetics}, {\Bem
  23\/}(6), 1561--1574.

\bibitem[\protect\BCAY{Penberthy\ \BBA\ Weld}{Penberthy\ \BBA\
  Weld}{1992}]{ucpop}
Penberthy, J.\BBACOMMA\  \BBA\ Weld, D. \BBOP1992\BBCP.
\newblock \BBOQ {UCPOP}: a sound, complete, partial-order planner for
  {ADL}\BBCQ\
\newblock In {\Bem Proc. Int. Conf. On Principles of Knowledge Representation
  and Reasoning}, \BPGS\ 103--114, Los Altos, CA. Kaufmann.

\bibitem[\protect\BCAY{Penberthy\ \BBA\ Weld}{Penberthy\ \BBA\
  Weld}{1994}]{zeno}
Penberthy, S.\BBACOMMA\  \BBA\ Weld, D. \BBOP1994\BBCP.
\newblock \BBOQ Temporal {P}lanning with {C}ontinuous {C}hange\BBCQ\
\newblock In {\Bem Proceedings of the Twelfth National Conference on Artificial
  Intelligence (AAAI)}, \BPGS\ 1010--1015. AAAI/MIT Press.

\bibitem[\protect\BCAY{Rasmussen, Larsen,\ \BBA\ Subramani}{Rasmussen
  et~al.}{2004}]{rasmussen}
Rasmussen, J.~I., Larsen, K.~G., \BBA\ Subramani, K. \BBOP2004\BBCP.
\newblock \BBOQ Resource {O}ptimal {S}cheduling using {P}riced {T}imed
  {A}utomata\BBCQ\
\newblock In {\Bem Proceedings of 10th International Conference on Tools and
  Algorithms for the Construction and Analysis of Systems (TACAS)}, \BPGS\
  220--235. Springer-Verlag, Lecture Notes in Computer Science, 2988.

\bibitem[\protect\BCAY{Reiter}{Reiter}{1996}]{rayr}
Reiter, R. \BBOP1996\BBCP.
\newblock \BBOQ Natural {A}ctions, {C}oncurrency and {C}ontinuous {T}ime in the
  {S}ituation {C}alculus\BBCQ\
\newblock In Aiello, L., Doyle, J., \BBA\ Shapiro, S.\BEDS, {\Bem KR-96:
  Principles of Knowledge Representation and Reasoning}, \BPGS\ 2--13. Morgan
  Kaufmann.

\bibitem[\protect\BCAY{Reiter}{Reiter}{2001}]{reiter}
Reiter, R. \BBOP2001\BBCP.
\newblock {\Bem Knowledge in {A}ction: {L}ogical {F}oundations for {S}ecifying
  and {I}mplementing {D}ynamical {S}ystems}.
\newblock {MIT} Press.

\bibitem[\protect\BCAY{Sandewall}{Sandewall}{1989}]{sandewall1}
Sandewall, E. \BBOP1989\BBCP.
\newblock \BBOQ Combining {L}ogic and {D}ifferential {E}quations for describing
  {R}eal {W}orld {S}ystems\BBCQ\
\newblock In {\Bem Proceedings of Knowledge Representation (KR)}, \BPGS\
  412--420.

\bibitem[\protect\BCAY{Shanahan}{Shanahan}{1990}]{shan}
Shanahan, M. \BBOP1990\BBCP.
\newblock \BBOQ Representing {C}ontinuous {C}hange in the {E}vent
  {C}alculus\BBCQ\
\newblock In {\Bem Proceedings of 9th European Conference on AI}, \BPGS\
  598--603.

\bibitem[\protect\BCAY{Shin\ \BBA\ Davis}{Shin\ \BBA\ Davis}{2005}]{shindavis}
Shin, J.-A.\BBACOMMA\  \BBA\ Davis, E. \BBOP2005\BBCP.
\newblock \BBOQ Processes and {C}ontinuous {C}hange in a {SAT}-based
  {P}lanner\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 166}, 194--253.

\bibitem[\protect\BCAY{Smith}{Smith}{2003}]{daveComm}
Smith, D. \BBOP2003\BBCP.
\newblock \BBOQ The case for durative actions: A commentary on {PDDL2.1}\BBCQ\
\newblock {\Bem Journal of {AI} Research}, {\Bem 20}, 149--154.

\bibitem[\protect\BCAY{Wolfman\ \BBA\ Weld}{Wolfman\ \BBA\ Weld}{1999}]{lpsat}
Wolfman, S.\BBACOMMA\  \BBA\ Weld, D. \BBOP1999\BBCP.
\newblock \BBOQ The {LPSAT} {S}ystem and its {A}pplication to {R}esource
  {P}lanning\BBCQ\
\newblock In {\Bem Proceedings of the Sixteenth International Joint Conference
  on Artificial Intelligence}.

\bibitem[\protect\BCAY{Wu\ \BBA\ Chow}{Wu\ \BBA\ Chow}{1995}]{suchas}
Wu, S.~J.\BBACOMMA\  \BBA\ Chow, P.~T. \BBOP1995\BBCP.
\newblock \BBOQ {G}enetic {A}lgorithms for {N}onlinear {M}ixed
  {D}iscrete-{I}nteger {O}ptimization {P}roblems via {M}eta-{G}enetic
  {P}arameter {O}ptimization\BBCQ\
\newblock {\Bem Engineering Optimization}, {\Bem 24\/}(2), 137--159.

\bibitem[\protect\BCAY{Yi, Larsen,\ \BBA\ Pettersson}{Yi et~al.}{1997}]{uppaal}
Yi, W., Larsen, K., \BBA\ Pettersson, P. \BBOP1997\BBCP.
\newblock \BBOQ {UPPAAL} in a {N}utshell\BBCQ\
\newblock {\Bem International Journal of Software Tools for Technology
  Transfer}, {\Bem 1\/}(1).

\end{thebibliography}
