@inproceedings(albore2009translation, author = {Alexandre Albore and Hector Palacios and Hector Geffner}, year = {2009}, title = {{A translation-based approach to contingent planning}}, booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI)}, organization = {AAAI Press}, pages = {1623--1628}, ) @inproceedings(benton2012temporal, author = {J Benton and Amanda Jane Coles and Andrew Coles}, year = {2012}, title = {Temporal Planning with Preferences and Time-Dependent Continuous Costs}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {2--10}, ) @inproceedings(bertoli2001planning, author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso}, year = {2001}, title = {Planning in nondeterministic domains under partial observability via symbolic model checking}, booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI)}, volume = {2001}, organization = {AAAI Press}, pages = {473--478}, ) @article(bertoli2006strong, author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso}, year = {2006}, title = {Strong planning under partial observability}, journal = {Artificial Intelligence}, volume = {170}, number = {4-5}, pages = {337--384}, doi = {10.1016/j.artint.2006.01.004}, ) @inproceedings(bonet2011planning, author = {Blai Bonet and Hector Geffner}, year = {2011}, title = {Planning under partial observability by classical replanning: Theory and experiments}, booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI)}, organization = {AAAI Press}, ) @article(bryce2006planning, author = {Daniel Bryce and Subbarao Kambhampati and David E Smith}, year = {2006}, title = {Planning graph heuristics for belief space search}, journal = {Journal of Artificial Intelligence Research (JAIR)}, volume = {26}, pages = {35--99}, doi = {10.1613/jair.1869}, ) @inproceedings(camacho2016fond, author = {Alberto Camacho and Christian J Muise and Sheila A McIlraith}, year = {2016}, title = {From {FOND} to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {65--69}, ) @inproceedings(carreno2022aamas, author = {Y. Carreno and Ng Jun Hao, A. and Y. Petillot and R. P. A Petrick}, year = {2022}, title = {Planning, Execution, and Adaptation for Multi-Robot Systems using Probabilistic and Temporal Planning}, booktitle = {Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)}, organization = {IFAAMAS}, pages = {217--225}, ) @inproceedings(carreno2020aamas, author = {Y. Carreno and {\`E}. Pairet and Y. Petillot and R. P. A Petrick}, year = {2020}, title = {{Task allocation strategy for heterogeneous robot teams in offshore missions}}, booktitle = {Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)}, organization = {IFAAMAS}, pages = {222--230}, ) @inproceedings(carreno2020towards, author = {Y. Carreno and Y. Petillot and R. P. A. Petrick}, year = {2020}, title = {Towards Robust Mission Execution via Temporal and Contingent Planning}, booktitle = {Proc. of the Annual Conference Towards Autonomous Robotic Systems (TAROS)}, organization = {Springer}, pages = {214--217}, doi = {10.1007/978-3-030-63486-5_24}, ) @inproceedings(carreno2021compiling, author = {Y. Carreno and Y. Petillot and R. P. A Petrick}, year = {2021}, title = {Compiling Contingent Planning into Temporal Planning for Robust AUV Deployments}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Planning and Robotics (PlanRob)}, ) @inproceedings(carreno2021situation, author = {Y. Carreno and Scharff Willners, J. and Y. Petillot and R. P. A Petrick}, year = {2021}, title = {Situation-Aware Task Planning for Robust AUV Exploration in Extreme Environments}, booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI) Workshop on Robust and Reliable Autonomy in the Wild (R2AW)}, ) @article(cashmore2017opportunistic, author = {Michael Cashmore and Maria Fox and Derek Long and Daniele Magazzeni and Bram Ridder}, year = {2017}, title = {Opportunistic planning in autonomous underwater missions}, journal = {IEEE Transactions on Automation Science and Engineering}, volume = {15}, number = {2}, pages = {519--530}, doi = {10.1109/TASE.2016.2636662}, ) @inproceedings(cimatti2014using, author = {Alessandro Cimatti and Luke Hunsberger and Andrea Micheli and Marco Roveri}, year = {2014}, title = {Using timed game automata to synthesize execution strategies for simple temporal networks with uncertainty}, booktitle = {Proc. of the AAAI Conference on Artificial Intelligence}, volume = {28}, ) @inproceedings(coles2012opportunistic, author = {Amanda Jane Coles}, year = {2012}, title = {Opportunistic Branched Plans to Maximise Utility in the Presence of Resource Uncertainty}, booktitle = {Proc. of the European Conference on Artificial Intelligence (ECAI)}, volume = {2012}, pages = {252}, ) @inproceedings(coles2010forward, author = {Amanda Jane Coles and Andrew Coles and Maria Fox and Derek Long}, year = {2010}, title = {Forward-Chaining Partial-Order Planning}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {42--49}, ) @article(combi2013algorithm, author = {Carlo Combi and Luke Hunsberger and Roberto Posenato}, year = {2013}, title = {An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty}, journal = {Evaluation}, volume = {1}, number = {1}, ) @article(combi2019conditional, author = {Carlo Combi and Roberto Posenato and Luca Vigan{\`o} and Matteo Zavatteri}, year = {2019}, title = {Conditional simple temporal networks with uncertainty and resources}, journal = {Journal of Artificial Intelligence Research (JAIR)}, volume = {64}, pages = {931--985}, ) @inproceedings(cresswell2003planning, author = {Stephen Cresswell and Alexandra Coddington}, year = {2003}, title = {Planning with timed literals and deadlines}, booktitle = {Proc. of Workshop of the UK Plan{SIG}}, pages = {23--35}, ) @inproceedings(eyerich2009using, author = {Patrick Eyerich and Robert Mattm{\"u}ller and Gabriele R{\"o}ger}, year = {2009}, title = {Using the context-enhanced additive heuristic for temporal and numeric planning}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {130--137}, ) @inproceedings(foss2005generating, author = {Janae N Foss and Nilufer Onder}, year = {2005}, title = {Generating temporally contingent plans}, booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI) Workshop on Planning and Learning in A Priori Unknown or Dynamic Domains}, ) @article(fox2003pddl2, author = {Maria Fox and Derek Long}, year = {2003}, title = {{PDDL}2.1: An extension to {PDDL} for expressing temporal planning domains}, journal = {Journal of Artificial Intelligence Research (JAIR)}, volume = {20}, pages = {61--124}, doi = {10.1613/jair.1129}, ) @article(geffner2013concise, author = {Hector Geffner and Blai Bonet}, year = {2013}, title = {A concise introduction to models and methods for automated planning}, journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning}, volume = {8}, number = {1}, pages = {1--141}, doi = {10.2200/S00513ED1V01Y201306AIM022}, ) @book(ghallab2004automated, author = {Malik Ghallab and Dana Nau and Paolo Traverso}, year = {2004}, title = {Automated Planning: theory and practice}, publisher = {Elsevier}, ) @inproceedings(hashmi2010merging, author = {Muhammad Adnan Hashmi and Amal El Fallah Seghrouchni}, year = {2010}, title = {Merging of temporal plans supported by plan repairing}, booktitle = {Proc. of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI)}, volume = {2}, organization = {IEEE}, pages = {87--94}, ) @article(helmert2009concise, author = {Malte Helmert}, year = {2009}, title = {Concise finite-domain representations for {PDDL} planning tasks}, journal = {Artificial Intelligence}, volume = {173}, number = {5-6}, pages = {503--535}, doi = {10.1016/j.artint.2008.10.013}, ) @incollection(hoffman2013traveling, author = {Karla L Hoffman and Manfred Padberg and Giovanni Rinaldi}, year = {2013}, title = {Traveling salesman problem}, booktitle = {Encyclopedia of operations research and management science}, publisher = {Springer}, pages = {1573--1578}, doi = {10.1007/978-1-4419-1153-7_1068}, ) @article(hoffmann:jair-03, author = {J{\"o}rg Hoffmann}, year = {2003}, title = {The {M}etric-{FF} Planning System: Translating ``Ignoring Delete Lists'' to Numeric State Variables}, journal = {Journal of Artificial Intelligence Research (JAIR)}, volume = {20}, pages = {291--341}, doi = {10.1613/jair.1144}, ) @inproceedings(hoffmann2005contingent, author = {J{\"o}rg Hoffmann and Ronen Brafman}, year = {2005}, title = {Contingent planning via heuristic forward search with implicit belief states}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {71--80}, ) @article(kunze2018artificial, author = {L. Kunze and N. Hawes and T. Duckett and M. Hanheide and Krajn{\'\i}k, T}, year = {2018}, title = {Artificial intelligence for long-term robot autonomy: A survey}, journal = {IEEE Robotics and Automation Letters (RA-L)}, volume = {3}, number = {4}, pages = {4023--4030}, doi = {10.1109/LRA.2018.2860628}, ) @article(long20033rd, author = {Derek Long and Maria Fox}, year = {2003}, title = {The 3rd international planning competition: Results and analysis}, journal = {Journal of Artificial Intelligence Research (JAIR)}, volume = {20}, pages = {1--59}, doi = {10.1613/jair.1240}, ) @inproceedings(long2003exploiting, author = {Derek Long and Maria Fox}, year = {2003}, title = {Exploiting a graphplan framework in temporal planning}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {51--62}, ) @techreport(McDermott-etal:1998, author = {Drew McDermott and Malik Ghallab and Adele Howe and Craig Knoblock and Ashwin Ram and Manuela Veloso and Daniel Weld and David Wilkins}, year = {1998}, title = {{PDDL} -- {T}he {P}lanning {D}omain {D}efinition {L}anguage ({V}ersion 1.2)}, type = {Technical Report}, number = {CVC TR-98-003/DCS TR-1165}, institution = {Yale Center for Computational Vision and Control}, ) @inproceedings(muise2014computing, author = {Christian Muise and Vaishak Belle and Sheila McIlraith}, year = {2014}, title = {Computing contingent plans via fully observable non-deterministic planning}, booktitle = {Proc. of the AAAI Conference on Artificial Intelligence}, volume = {28}, ) @inproceedings(muise2012improved, author = {Christian Muise and Sheila McIlraith and Christopher Beck}, year = {2012}, title = {Improved non-deterministic planning by exploiting state relevance}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {172--180}, ) @article(nouman2021hybrid, author = {Ahmed Nouman and Volkan Patoglu and Esra Erdem}, year = {2021}, title = {Hybrid conditional planning for robotic applications}, journal = {The International Journal of Robotics Research}, volume = {40}, number = {2-3}, pages = {594--623}, doi = {10.1177/0278364920963783}, ) @inproceedings(palacios2014compiling, author = {H{\'e}ctor Palacios and Alexandre Albore and Hector Geffner}, year = {2014}, title = {Compiling contingent planning into classical planning: New translations and results}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Models and Paradigms for Planning under Uncertainty}, organization = {AAAI Press}, ) @inproceedings(peot1992conditional, author = {Mark A Peot and David E Smith}, year = {1992}, title = {Conditional nonlinear planning}, booktitle = {AIPS}, organization = {Elsevier}, pages = {189--197}, ) @inproceedings(petrick2002knowledge, author = {Ronald P. A. Petrick and Fahiem Bacchus}, year = {2002}, title = {A Knowledge-Based Approach to Planning with Incomplete Information and Sensing}, booktitle = {Proc. of the International Conference on Artificial Intelligence Planning Systems ({AIPS})}, pages = {212--222}, ) @inproceedings(petrick2004extending, author = {Ronald P. A. Petrick and Fahiem Bacchus}, year = {2004}, title = {Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {2--11}, ) @inproceedings(to2011contingent, author = {Son Thanh To and Tran Cao Son and Enrico Pontelli}, year = {2011}, title = {Contingent planning as AND/OR forward search with disjunctive representation}, booktitle = {Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}, organization = {AAAI Press}, pages = {258--265}, ) @article(tsamardinos2003ctp, author = {Ioannis Tsamardinos and Thierry Vidal and Martha E Pollack}, year = {2003}, title = {CTP: A new constraint-based formalism for conditional, temporal planning}, journal = {Constraints}, volume = {8}, number = {4}, pages = {365--388}, doi = {10.1023/A:1025894003623}, ) @inproceedings(weld1998extending, author = {Daniel S Weld and Corin R Anderson and David E Smith}, year = {1998}, title = {Extending graphplan to handle uncertainty \& sensing actions}, booktitle = {Proc. of the AAAI Conference on Artificial Intelligence}, pages = {897--904}, ) @article(yalciner2017hybrid, author = {Ibrahim Faruk Yalciner and Ahmed Nouman and Volkan Patoglu and Esra Erdem}, year = {2017}, title = {Hybrid conditional planning using answer set programming}, journal = {Theory and Practice of Logic Programming}, volume = {17}, number = {5-6}, pages = {1027--1047}, doi = {10.1017/S1471068417000321}, ) @article(zavatteri2019conditional, author = {Matteo Zavatteri and Luca Vigan{\`o}}, year = {2019}, title = {Conditional simple temporal networks with uncertainty and decisions}, journal = {Theoretical Computer Science}, volume = {797}, pages = {77--101}, doi = {10.1016/j.tcs.2018.09.023}, )