@article(AlurHK02, author = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman}, year = {2002}, title = {Alternating-time temporal logic}, journal = {J. {ACM}}, volume = {49}, number = {5}, pages = {672--713}, doi = {10.1145/585265.585270}, ) @inproceedings(BernardiniS07, author = {Sara Bernardini and David E. Smith}, year = {2007}, title = {Developing Domain-Independent Search Control for Europa2}, booktitle = {Proceedings of the ICAPS 2007 Workshop on Heuristics for Domain-Independent Planning}, ) @article(BozzelliMMPW20, author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Gerhard J. Woeginger}, year = {2020}, title = {Timeline-based planning over dense temporal domains}, journal = {Theor. Comput. Sci.}, volume = {813}, pages = {305--326}, doi = {10.1016/j.tcs.2019.12.030}, ) @article(CestaCDDFOPRS07, author = {Amedeo Cesta and Gabriella Cortellessa and Michel Denis and Alessandro Donati and Simone Fratini and Angelo Oddi and Nicola Policella and Erhard Rabenau and Jonathan Schulster}, year = {2007}, title = {Mexar2: {AI} Solves Mission Planner Problems}, journal = {{IEEE} Intelligent Systems}, volume = {22}, number = {4}, pages = {12--19}, doi = {10.1109/MIS.2007.75}, ) @inproceedings(CestaCFOP06, author = {Amedeo Cesta and Gabriella Cortellessa and Simone Fratini and Angelo Oddi and Nicola Policella}, year = {2006}, title = {Software Companion: The Mexar2 Support to Space Mission Planners}, editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso}, booktitle = {Proceedings of the 17th European Conference on Artificial Intelligence}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {141}, publisher = {{IOS} Press}, pages = {622--626}, ) @inproceedings(ChienRKSEMESFBST00, author = {S. Chien and G. Rabideau and R. Knight and R. Sherwood and B. Engelhardt and D. Mutz and T. Estlin and B. Smith and F. Fisher and T. Barrett and G. Stebbins and D. Tran}, year = {2000}, title = {ASPEN - Automating Space Mission Operations using Automated Planning and Scheduling}, booktitle = {Proceedings of the International Conference on Space Operations}, ) @inproceedings(ChienRTTDNASVGA15, author = {Steve A. Chien and Gregg Rabideau and Daniel Tran and Martina Troesch and Joshua Doubleday and Federico Nespoli and Miguel Perez Ayucar and Marc Costa Sitja and Claire Vallat and Bernhard Geiger and Nico Altobelli and Manuel Fernandez and Fran Vallejo and Rafael Andres and Michael Kueppers}, year = {2015}, title = {Activity-Based Scheduling of Science Campaigns for the Rosetta Orbiter}, editor = {Qiang Yang and Michael Wooldridge}, booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence}, publisher = {{AAAI} Press}, pages = {4416--4422}, url = {http://ijcai.org/Abstract/15/655}, ) @article(CialdeaMayerOU16, author = {{Cialdea Mayer}, Marta and Andrea Orlandini and Alessandro Umbrico}, year = {2016}, title = {Planning and execution with flexible timelines: a formal account}, journal = {Acta Informatica}, volume = {53}, number = {6-8}, pages = {649--680}, doi = {10.1007/s00236-015-0252-z}, ) @inproceedings(DellaMonicaGMS18, author = {{Della Monica}, Dario and Nicola Gigante and Angelo Montanari and Pietro Sala}, year = {2018}, title = {A Novel Automata-Theoretic Approach to Timeline-Based Planning}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, booktitle = {Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning}, publisher = {{AAAI} Press}, pages = {541--550}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024}, ) @inproceedings(DellaMonicaGMSS17, author = {{Della Monica}, Dario and Nicola Gigante and Angelo Montanari and Pietro Sala and Guido Sciavicco}, year = {2017}, title = {Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints}, editor = {Carles Sierra}, booktitle = {Proceedings of the 26th International Joint Conference on Artificial Intelligence}, pages = {1008--1014}, doi = {10.24963/ijcai.2017/140}, ) @inproceedings(DellaMonicaGTM20, author = {{Della Monica}, Dario and Nicola Gigante and Salvatore La Torre and Angelo Montanari}, year = {2020}, title = {Complexity of Qualitative Timeline-Based Planning}, booktitle = {Proceedings of the 27th International Symposium on Temporal Representation and Reasoning}, series = {LIPIcs}, volume = {178}, pages = {16:1--16:13}, doi = {10.4230/LIPIcs.TIME.2020.16}, ) @inproceedings(dill1989timing, author = {David L. Dill}, year = {1989}, title = {Timing Assumptions and Verification of Finite-State Concurrent Systems}, editor = {Joseph Sifakis}, booktitle = {Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems}, series = {Lecture Notes in Computer Science}, volume = {407}, publisher = {Springer}, pages = {197--212}, doi = {10.1007/3-540-52148-8\_17}, ) @article(FrankJ03, author = {Jeremy Frank and Ari K. J{\'{o}}nsson}, year = {2003}, title = {Constraint-Based Attribute and Interval Planning}, journal = {Constraints}, volume = {8}, number = {4}, pages = {339--364}, doi = {10.1023/A:1025842019552}, ) @inproceedings(FratiniCORD11, author = {Simone Fratini and Amedeo Cesta and Andrea Orlandini and Riccardo Rasconi and De Benedictis, Riccardo}, year = {2011}, title = {APSI-based Deliberation in Goal Oriented Autonomous Controllers}, booktitle = {ASTRA 2011}, volume = {11}, publisher = {ESA}, ) @phdthesis(Gigante19, author = {Nicola Gigante}, year = {2019}, title = {Timeline-based Planning: Expressiveness and Complexity}, school = {University of Udine, Italy}, note = {Available on \emph{arXiv} at: \url{https://arxiv.org/abs/1902.06123}}, ) @inproceedings(GiganteMMO16, author = {Nicola Gigante and Angelo Montanari and {Cialdea Mayer}, Marta and Andrea Orlandini}, year = {2016}, title = {Timelines Are Expressive Enough to Capture Action-Based Temporal Planning}, editor = {Curtis E. Dyreson and Michael R. Hansen and Luke Hunsberger}, booktitle = {Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning}, publisher = {{IEEE} Computer Society}, pages = {100--109}, doi = {10.1109/TIME.2016.18}, ) @inproceedings(GiganteMMO17, author = {Nicola Gigante and Angelo Montanari and {Cialdea Mayer}, Marta and Andrea Orlandini}, year = {2017}, title = {Complexity of Timeline-Based Planning}, editor = {Laura Barbulescu and Jeremy Frank and Mausam and Stephen F. Smith}, booktitle = {Proceedings of the 27th International Conference on Automated Planning and Scheduling}, publisher = {{AAAI} Press}, pages = {116--124}, url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15758}, ) @article(GiganteMOCR20, author = {Nicola Gigante and Angelo Montanari and Andrea Orlandini and Marta Cialdea Mayer and Mark Reynolds}, year = {2020}, title = {On timeline-based games and their complexity}, journal = {Theor. Comput. Sci.}, volume = {815}, pages = {247--269}, doi = {10.1016/j.tcs.2020.02.011}, ) @incollection(Muscettola94, author = {Nicola Muscettola}, year = {1994}, title = {{{HSTS}}: {I}ntegrating {P}lanning and {S}cheduling}, editor = {Monte Zweben and Mark S. Fox}, booktitle = {Intelligent Scheduling}, chapter = {6}, publisher = {Morgan Kaufmann}, pages = {169--212}, ) @inproceedings(peron2007abstract, author = {Mathias P{\'e}ron and Nicolas Halbwachs}, year = {2007}, title = {An abstract domain extending difference-bound matrices with disequality constraints}, booktitle = {International Workshop on Verification, Model Checking, and Abstract Interpretation}, organization = {Springer}, pages = {268--282}, doi = {10.1007/978-3-540-69738-1\_20}, ) @article(Thomas2008, author = {Wolfgang Thomas}, year = {2008}, title = {Solution of {C}hurch's Problem: A tutorial}, journal = {New Perspectives on Games and Interaction. Texts on Logic and Games}, volume = {5}, )