@inproceedings(AcamporaGGMP2022, author = {Renato Acampora and Luca Geatti and Nicola Gigante and Angelo Montanari and Valentino Picotti}, year = {2022}, title = {Controller Synthesis for Timeline-based Games}, editor = {Pierre Ganty and Della Monica, Dario}, booktitle = {Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022}, series = {{EPTCS}}, volume = {370}, pages = {131--146}, doi = {10.4204/EPTCS.370.9}, ) @article(Allen83, author = {James F. Allen}, year = {1983}, title = {Maintaining Knowledge about Temporal Intervals}, journal = {Commun. {ACM}}, volume = {26}, number = {11}, pages = {832--843}, doi = {10.1145/182.358434}, ) @inproceedings(BozzelliMMP18b, author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron}, year = {2018}, title = {Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground}, editor = {Andrea Orlandini and Martin Zimmermann}, booktitle = {Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification}, series = {{EPTCS}}, volume = {277}, pages = {191--205}, doi = {10.4204/EPTCS.277.14}, ) @inproceedings(BozzelliMMP18a, author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron}, year = {2018}, title = {Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018}, publisher = {{AAAI} Press}, pages = {627--628}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17995}, ) @inproceedings(ChienRKSEMESFBST00, author = {Steve Chien and Gregg Rabideau and Russell Knight and Robert Sherwood and Barbara Engelhardt and Darren Mutz and Tara Estlin and Benjamin Smith and Forest Fisher and T Barrett}, year = {2000}, title = {ASPEN-Automating space mission operations using automated planning and scheduling}, booktitle = {SpaceOps 2000}, organization = {AIAA Press}, ) @inproceedings(ChienSTCRCDLMFTHDSUBBGGDBDI04, author = {Steve A. Chien and Rob Sherwood and Daniel Tran and Benjamin Cichy and Gregg Rabideau and Casta{\~{n}}o, Rebecca and Ashley Davies and Rachel Lee and Dan Mandl and Stuart Frye and Bruce Trout and Jerry Hengemihle and Jeff D'Agostino and Seth Shulman and Stephen G. Ungar and Thomas Brakke and Darrell Boyer and Jim Van Gaasbeck and Ronald Greeley and Thomas Doggett and Victor R. Baker and James M. Dohm and Felipe Ip}, year = {2004}, title = {The {EO-1} Autonomous Science Agent}, booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent Systems}, publisher = {{IEEE} Computer Society}, pages = {420--427}, doi = {10.1109/AAMAS.2004.10022}, ) @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(DellaMonicaGTM20, author = {Della Monica, Dario and Nicola Gigante and La Torre, Salvatore and Angelo Montanari}, year = {2020}, title = {Complexity of Qualitative Timeline-Based Planning}, editor = {Mu{\~{n}}oz{-}Velasco, Emilio and Ana Ozaki and Martin Theobald}, booktitle = {27th International Symposium on Temporal Representation and Reasoning, {TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy}, series = {LIPIcs}, volume = {178}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, pages = {16:1--16:13}, doi = {10.4230/LIPICS.TIME.2020.16}, ) @article(FoxL03, author = {Maria Fox and Derek Long}, year = {2003}, title = {{PDDL2.1:} An Extension to {PDDL} for Expressing Temporal Planning Domains}, journal = {J. Artif. Intell. Res.}, volume = {20}, pages = {61--124}, doi = {10.1613/jair.1129}, ) @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}, ) @inproceedings(GiganteMMO16, author = {Nicola Gigante and Angelo Montanari and Marta Cialdea Mayer 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 = {23rd International Symposium on Temporal Representation and Reasoning,}, publisher = {{IEEE} Computer Society}, pages = {100--109}, doi = {10.1109/TIME.2016.18}, ) @inproceedings(GiganteMCO17, author = {Nicola Gigante and Angelo Montanari and Marta Cialdea Mayer 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 Twenty-Seventh International Conference on Automated Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017}, 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 = {Theoretical Computer Science}, volume = {815}, pages = {247--269}, doi = {10.1016/j.tcs.2020.02.011}, ) @inproceedings(DellaMonicaGMS18, author = {Dario Della Monica 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 = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018}, publisher = {{AAAI} Press}, pages = {541--550}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024}, ) @inproceedings(della2017bounded, author = {Dario Della Monica 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 Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, publisher = {ijcai.org}, pages = {1008--1014}, doi = {10.24963/IJCAI.2017/140}, ) @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(PnueliR89, author = {Amir Pnueli and Roni Rosner}, year = {1989}, title = {On the Synthesis of an Asynchronous Reactive Module}, editor = {Giorgio Ausiello and Dezani{-}Ciancaglini, Mariangiola and Simona Ronchi Della Rocca}, booktitle = {16th International Colloquium on Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {372}, publisher = {Springer}, pages = {652--671}, doi = {10.1007/BFB0035790}, ) @inproceedings(UmbricoCMO17, author = {Alessandro Umbrico and Amedeo Cesta and {Cialdea Mayer}, Marta and Andrea Orlandini}, year = {2017}, title = {PLATINUm: {A} New Framework for Planning and Acting}, editor = {Floriana Esposito and Roberto Basili and Stefano Ferilli and Francesca A. Lisi}, booktitle = {Proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence}, series = {LNCS}, volume = {10640}, publisher = {Springer}, pages = {498--512}, doi = {10.1007/978-3-319-70169-1_37}, ) @inproceedings(UmbricoCO23, author = {Alessandro Umbrico and Amedeo Cesta and Andrea Orlandini}, year = {2023}, title = {Human-Aware Goal-Oriented Autonomy through ROS-Integrated Timeline-based Planning and Execution}, booktitle = {32nd {IEEE} International Conference on Robot and Human Interactive Communication}, publisher = {{IEEE}}, pages = {1164--1169}, doi = {10.1109/RO-MAN57019.2023.10309516}, )