Vol. 34 (2024): Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling

Edited by Sara Bernardini, Christian Muise
Junu 1–6, 2024, Alberta, Canada.
Published by AAAI Press, Washington, DC, USA
Copyright © 2024, Association for the Advancement of Artificial Intelligence
1101 Pennsylvania Ave, NW, Suite 300, Washington, DC 20004
All Rights Reserved
ISSN 2334-0843 (online)
ISSN 2334-0835 (print)
ISBN-10 1-57735-889-9
ISBN-13 978-1-57735-889-3
ICAPS 2024, the 34th International Conference on Automated Planning and Scheduling, was held in Banaff, Alberta, Canada, from June 1-6, 2024.
For 2024, ICAPS invited paper submissions related to the theory and applications of intelligent planning and scheduling technology.Traditionally, ICAPS has had both a main track and a set of specialized tracks (e.g., Robotics, Applications, etc.) that authors could submit to, all mutually exclusive. This year, there was a single main track, with former track themes replaced by a set of optional primary keywords that distinguish papers for differential review within the main track. Relevant contributions include but are not limited to theoretical foundations of planning and scheduling, classical planning techniques and analysis, knowledge representation for planning and scheduling, multi-agent and distributed planning, and human-aware planning and scheduling.
Main Track
Specifying Goals to Deep Neural Networks with Answer Set Programming
Forest Agostinelli, Rojina Panta, Vedant Khandelwal2-10Exact Multi-objective Path Finding with Negative Weights
Saman Ahmadi, Nathan R. Sturtevant, Daniel Harabor, Mahdi Jalili11-19On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification
Gregor Behnke, Marcel Steinmetz20-24On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
Blai Bonet, Dominik Drexler, Héctor Geffner31-39Abstraction Heuristics for Factored Tasks
Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert40-49Multi-Agent Temporal Task Solving and Plan Optimization
J. Caballero Testón, Maria D. R-Moreno50-58Taming Discretised PDDL+ through Multiple Discretisations
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati59-67Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning
Dillon Z. Chen, Felipe Trevizan, Sylvie Thiébaux68-76More Flexible Proximity Wildcards Path Planning with Compressed Path Databases
Xi Chen, Yue Zhang, Yonggang Zhang77-85Planning and Acting While the Clock Ticks
Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf Shperberg95-103Planning with Object Creation
Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin104-113Multi-Objective Electric Vehicle Route and Charging Planning with Contraction Hierarchies
Marek Cuchý, Jiří Vokřínek, Michal Jakob114-122Combined Task and Motion Planning via Sketch Decompositions
Magí Dalmau Moreno, Néstor García, Vicenç Gómez, Héctor Geffner123-132Planning Domain Simulation: An Interactive System for Plan Visualisation
Emanuele De Pellegrin, Ronald P. A. Petrick133-141Learning Quadruped Locomotion Policies Using Logical Rules
David DeFazio, Yohei Hayamizu, Shiqi Zhang142-150Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity
Simon Dold, Malte Helmert151-161New Fuzzing Biases for Action Policy Testing
Jan Eisenhut, Xandra Schuler, Daniel Fišer, Daniel Höller, Maria Christakis, Jörg Hoffmann162-167PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation
Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati168-177Termination Properties of Transition Rules for Indirect Effects
Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen178-186A Fast Algorithm for k-Memory Messaging Scheme Design in Dynamic Environments with Uncertainty
Zhikang Fan, Weiran Shen187-195SLAMuZero: Plan and Learn to Map for Joint SLAM and Navigation
Bowen Fang, Xu Chen, Zhengkun Pan, Xuan Di196-200A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution
Ying Feng, Adittyo Paul, Zhe Chen, Jiaoyang Li201-209Progressive State Space Disaggregation for Infinite Horizon Dynamic Programming
Orso Forghieri, Hind Castel, Emmanuel Hyon, Erwan Le Pennec221-229JaxPlan and GurobiPlan: Optimization Baselines for Replanning in Discrete and Mixed Discrete-Continuous Probabilistic Domains
Michael Gimelfarb, Ayal Taitler, Scott Sanner230-238Formal Representations of Classical Planning Domains
Claudia Grundke, Gabriele Röger, Malte Helmert239-248Replanning in Advance for Instant Delay Recovery in Multi-Agent Applications: Rerouting Trains in a Railway Hub
Issa K. Hanou, Devin Wild Thomas, Wheeler Ruml, Mathijs de Weerdt258-266An Analysis of the Decidability and Complexity of Numeric Additive Planning
Hayyan Helal, Gerhard Lakemeyer267-275Versatile Cost Partitioning with Exact Sensitivity Analysis
Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp276-280Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form
Luke Hunsberger, Roberto Posenato290-300Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation Learning
Zhaoxun Ju, Chao Yang, Fuchun Sun, Hongbo Wang, Yu Qiao301-309Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings
Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava310-318Explaining Plan Quality Differences
Benjamin Krarup, Amanda Coles, Derek Long, David E. Smith324-332Planning with a Learned Policy Basis to Optimally Solve Complex Tasks
David Kuric, Guillermo Infante, Vicenç Gómez, Anders Jonsson, Herke van Hoof333-341Action Model Learning from Noisy Traces: a Probabilistic Approach
Leonardo Lamanna, Luciano Serafini342-350Investigating Large Neighbourhood Search for Bus Driver Scheduling
Tommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu360-368Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity
Jakub Med, Lukáš Chrpa, Michael Morak, Wolfgang Faber369-377Preference Explanation and Decision Support for Multi-Objective Real-World Test Laboratory Scheduling
Florian Mischek, Nysret Musliu378-386Safe Learning of PDDL Domains with Conditional Effects
Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba387-395SKATE : Successive Rank-based Task Assignment for Proactive Online Planning
Déborah Conforto Nedelmann, Jérôme Lacan, Caroline P. C. Chanel396-404Large Language Models as Planning Domain Generators
James Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi423-431On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
Vishal Pallagani, Bharath Chandra Muppasani, Kaushik Roy, Francesco Fabiano, Andrea Loreggia, Keerthiram Murugesan, Biplav Srivastava, Francesca Rossi, Lior Horesh, Amit Sheth432-444Transition Landmarks from Abstraction Cuts
Florian Pommerening, Clemens Büchner, Thomas Keller445-454Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search
Alberto Pozanco, Álvaro Torralba, Daniel Borrajo455-463SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments
Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-Pang Chiu, Alvaro Velasquez464-474Online Control of Adaptive Large Neighborhood Search Using Deep Reinforcement Learning
Robbert Reijnen, Yingqian Zhang, Hoong Chuin Lau, Zaharah Bukhsh475-483Map Connectivity and Empirical Hardness of Grid-based Multi-Agent Pathfinding Problem
Jingyao Ren, Eric Ewing, T. K. Satish Kumar, Sven Koenig, Nora Ayanian484-488The Story So Far on Narrative Planning
Rogelio E. Cardona Rivera, Arnav Jhala, Julie Porteous, R. Michael Young489-499Learning General Policies for Planning through GPT Models
Nicholas Rossetti, Massimiliano Tummolo, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina, Mattia Chiari, Matteo Olivato500-508Imitating Cost-Constrained Behaviors in Reinforcement Learning
Qian Shao, Pradeep Varakantham, Shih-Fen Cheng514-522Accelerating Search-Based Planning for Multi-Robot Manipulation by Leveraging Online-Generated Experiences
Yorai Shaoul, Itamar Mishani, Maxim Likhachev, Jiaoyang Li523-531Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents
Yash Shukla, Tanushree Burman, Abhishek N. Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov532-540Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework
Silvan Sievers, Thomas Keller, Gabriele Röger541-545Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning
David Speck, Daniel Gnad546-554Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning
Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch555-564Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent
Paula Stocco, Suhas Chundi, Arec Jamgochian, Mykel J. Kochenderfer565-569Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata
Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen588-596Improving Learnt Local MAPF Policies with Heuristic Search
Rishi Veerapaneni, Qian Wang, Kevin Ren, Arthur Jakobsson, Jiaoyang Li, Maxim Likhachev597-606Neural Action Policy Safety Verification: Applicablity Filtering
Marcel Vinzent, Jörg Hoffmann607-612Efficient Approximate Search for Multi-Objective Multi-Agent Path Finding
Fangji Wang, Han Zhang, Sven Koenig, Jiaoyang Li613-622MAPF in 3D Warehouses: Dataset and Analysis
Qian Wang, Rishi Veerapaneni, Yu Wu, Jiaoyang Li, Maxim Likhachev623-632Neuro-Symbolic Learning of Lifted Action Models from Visual Traces
Kai Xi, Stephen Gould, Sylvie Thiébaux653-662Control in Stochastic Environment with Delays: A Model-based Reinforcement Learning Approach
Zhiyuan Yao, Ionut Florescu, Chihoon Lee663-670Contrastive Explanations of Centralized Multi-agent Optimization Solutions
Parisa Zehtabi, Alberto Pozanco, Ayala Bolch, Daniel Borrajo, Sarit Kraus671-679Bounded-Suboptimal Weight-Constrained Shortest-Path Search via Efficient Representation of Paths
Han Zhang, Oren Salzman, Ariel Felner, T. K. Satish Kumar, Sven Koenig680-688A Counter-Example Based Approach to Probabilistic Conformant Planning
Xiaodi Zhang, Alban Grastien, Charles Gretton689-697Improving the Efficiency and Efficacy of Multi-Agent Reinforcement Learning on Complex Railway Networks with a Local-Critic Approach
Yuan Zhang, Umashankar Deekshith, Jianhong Wang, Joschka Boedecker698-706Planning and Execution in Multi-Agent Path Finding: Models and Algorithms
Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey707-715Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation
Itai Zilberstein, Ananya Rao, Matthew Salis, Steve Chien716-724