Renato Acampora
Luca Geatti
Nicola Gigante
Angelo Montanari
Valentino Picotti
2022
Controller Synthesis for Timeline-based Games
Pierre Ganty
Dario Della Monica
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022
EPTCS
370
131–146
10.4204/EPTCS.370.9
James F. Allen
1983
Maintaining Knowledge about Temporal Intervals
Commun. ACM
26
11
832–843
10.1145/182.358434
Laura Bozzelli
Alberto Molinari
Angelo Montanari
Adriano Peron
2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Andrea Orlandini
Martin Zimmermann
Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification
EPTCS
277
191–205
10.4204/EPTCS.277.14
Laura Bozzelli
Alberto Molinari
Angelo Montanari
Adriano Peron
2018
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains
Michael Thielscher
Francesca Toni
Frank Wolter
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
AAAI Press
627–628
https://aaai.org/ocs/index.php/KR/KR18/paper/view/17995
Steve Chien
Gregg Rabideau
Russell Knight
Robert Sherwood
Barbara Engelhardt
Darren Mutz
Tara Estlin
Benjamin Smith
Forest Fisher
T Barrett
2000
ASPEN-Automating space mission operations using automated planning and scheduling
SpaceOps 2000
AIAA Press
Steve A. Chien
Rob Sherwood
Daniel Tran
Benjamin Cichy
Gregg Rabideau
Rebecca Castaño
Ashley Davies
Rachel Lee
Dan Mandl
Stuart Frye
Bruce Trout
Jerry Hengemihle
Jeff D'Agostino
Seth Shulman
Stephen G. Ungar
Thomas Brakke
Darrell Boyer
Jim Van Gaasbeck
Ronald Greeley
Thomas Doggett
Victor R. Baker
James M. Dohm
Felipe Ip
2004
The EO-1 Autonomous Science Agent
3rd International Joint Conference on Autonomous Agents and Multiagent Systems
IEEE Computer Society
420–427
10.1109/AAMAS.2004.10022
Marta Cialdea Mayer
Andrea Orlandini
Alessandro Umbrico
2016
Planning and execution with flexible timelines: a formal account
Acta Informatica
53
6-8
649–680
10.1007/s00236-015-0252-z
Dario Della Monica
Nicola Gigante
Salvatore La Torre
Angelo Montanari
2020
Complexity of Qualitative Timeline-Based Planning
Emilio Muñoz-Velasco
Ana Ozaki
Martin Theobald
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy
LIPIcs
178
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
16:1–16:13
10.4230/LIPICS.TIME.2020.16
Maria Fox
Derek Long
2003
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
J. Artif. Intell. Res.
20
61–124
10.1613/jair.1129
Simone Fratini
Amedeo Cesta
Andrea Orlandini
Riccardo Rasconi
Riccardo De Benedictis
2011
APSI-based Deliberation in Goal Oriented Autonomous Controllers
ASTRA 2011
11
ESA
Nicola Gigante
Angelo Montanari
Marta Cialdea Mayer
Andrea Orlandini
2016
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning
Curtis E. Dyreson
Michael R. Hansen
Luke Hunsberger
23rd International Symposium on Temporal Representation and Reasoning,
IEEE Computer Society
100–109
10.1109/TIME.2016.18
Nicola Gigante
Angelo Montanari
Marta Cialdea Mayer
Andrea Orlandini
2017
Complexity of Timeline-Based Planning
Laura Barbulescu
Jeremy Frank
Mausam
Stephen F. Smith
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017
AAAI Press
116–124
https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15758
Nicola Gigante
Angelo Montanari
Andrea Orlandini
Marta Cialdea Mayer
Mark Reynolds
2020
On timeline-based games and their complexity
Theoretical Computer Science
815
247–269
10.1016/j.tcs.2020.02.011
Dario Della Monica
Nicola Gigante
Angelo Montanari
Pietro Sala
2018
A Novel Automata-Theoretic Approach to Timeline-Based Planning
Michael Thielscher
Francesca Toni
Frank Wolter
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
AAAI Press
541–550
https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024
Dario Della Monica
Nicola Gigante
Angelo Montanari
Pietro Sala
Guido Sciavicco
2017
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints
Carles Sierra
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
ijcai.org
1008–1014
10.24963/IJCAI.2017/140
Nicola Muscettola
1994
HSTS: Integrating Planning and Scheduling
Monte Zweben
Mark S. Fox
Intelligent Scheduling
6
Morgan Kaufmann
169–212
Amir Pnueli
Roni Rosner
1989
On the Synthesis of an Asynchronous Reactive Module
Giorgio Ausiello
Mariangiola Dezani-Ciancaglini
Simona Ronchi Della Rocca
16th International Colloquium on Automata, Languages and Programming
Lecture Notes in Computer Science
372
Springer
652–671
10.1007/BFB0035790
Alessandro Umbrico
Amedeo Cesta
Marta Cialdea Mayer
Andrea Orlandini
2017
PLATINUm: A New Framework for Planning and Acting
Floriana Esposito
Roberto Basili
Stefano Ferilli
Francesca A. Lisi
Proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence
LNCS
10640
Springer
498–512
10.1007/978-3-319-70169-1_37
Alessandro Umbrico
Amedeo Cesta
Andrea Orlandini
2023
Human-Aware Goal-Oriented Autonomy through ROS-Integrated Timeline-based Planning and Execution
32nd IEEE International Conference on Robot and Human Interactive Communication
IEEE
1164–1169
10.1109/RO-MAN57019.2023.10309516