ICAPS 2024 Conference Submissions

Planning Domain Simulation: An Interactive System for Plan Visualisation
Emanuele De Pellegrin, Ron Petrick
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework
Silvan Sievers, Thomas Keller, Gabriele Röger
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Formal Representations of Classical Planning Domains
Claudia Grundke, Gabriele Röger, Malte Helmert
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Learning General Policies for Planning through GPT Models
Nicholas Rossetti, Massimiliano Tummolo, Alfonso Gerevini, Luca Putelli, Ivan Serina, Mattia Chiari, Matteo Olivato
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Non-Deterministic Planning for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
The Story So Far on Narrative Planning
Rogelio E. Cardona-Rivera, Arnav Jhala, Julie Porteous, R. Michael Young
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution
Ying Feng, Adittyo Paul, Zhe Chen, Jiaoyang Li
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
JaxPlan and GurobiPlan: Optimization Baselines for Replanning in Discrete and Mixed Discrete and Continuous Probabilistic Domains
Michael Gimelfarb, Ayal Taitler, Scott Sanner
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
SLAMuZero: Plan and learn to Map for Joint SLAM and Navigation
Bowen Fang, Xu Chen, Zhengkun Pan, Xuan Di
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments
Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-pang Chiu, Alvaro Velasquez
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
Blai Bonet, Dominik Drexler, Hector Geffner
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Large Language Models as Planning Domain Generators
James Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents
Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Multi-Agent Temporal Task Solving and Plan Optimization
Javier Caballero Testón, MariaD. R-Moreno
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Progressive State Space Disaggregation for Infinite Horizon Dynamic Programming
Orso Forghieri, Erwan Le Pennec, Hind Castel, Emmanuel Hyon
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Transition Landmarks from Abstraction Cuts
Florian Pommerening, Clemens Büchner, Thomas Keller
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Bounded Suboptimal Weight-Constrained Shortest-Path Search via Efficient Representation of Paths
Han Zhang, Oren Salzman, Ariel Felner, T. K. Satish Kumar, Sven Koenig
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
An Analysis of the Decidability and Complexity of Numeric Additive Planning
Hayyan Helal, Gerhard Lakemeyer
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
LCPPO: An Efficient Multi-agent Reinforcement Learning Algorithm on Complex Railway Network
Yuan Zhang, Umashankar Deekshith, Jianhong Wang, Joschka Boedecker
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Preference Explanation and Decision Support for Multi-Objective Real-World Test Laboratory Scheduling
Florian Mischek, Nysret Musliu
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Contrastive Explanations of Centralized Multi-agent Optimization Solutions
Parisa Zehtabi, Alberto Pozanco, Ayala Bolch, Daniel Borrajo, Sarit Kraus
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
On 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 P. Sheth
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Versatile Cost Partitioning with Exact Sensitivity Analysis
Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Weak and Strong Reversibility of Non-Deterministic Actions: Universality and Uniformity
Jakub Med, Lukas Chrpa, Michael Morak, Wolfgang Faber
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone
Safe Learning of PDDL Domains with Conditional Effects
Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba
- Published: 12 Feb 2024, Last Modified: 06 Mar 2024
- ICAPS 2024
- Readers: Everyone