Efficiently Computing Transitions in Cartesian Abstractions

Jendrik Seipp

Short Paper (10min)

Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework

Silvan Sievers, Thomas Keller, Gabriele Röger

Short Paper (10min)

Versatile Cost Partitioning with Exact Sensitivity Analysis

Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp

Short Paper (10min)

Abstraction Heuristics for Factored Tasks

Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert

Long Paper (15min)

Towards Feasible Higher-Dimensional Potential Heuristics

Daniel Fišer, Marcel Steinmetz

Long Paper (15min)

Transition Landmarks from Abstraction Cuts

Florian Pommerening, Clemens Büchner, Thomas Keller

Long Paper (15min)

More Flexible Proximity Wildcards Path Planning with Compressed Path Databases

Xi Chen, Yue Zhang, Yonggang Zhang

Long Paper (15min)

Control in Stochastic Environment with Delays: A Model-based Reinforcement Learning Approach

Zhiyuan Yao, Ionut Florescu, Chihoon Lee

Long Paper (15min)

Imitating Cost Constrained Behaviors in Reinforcement Learning

Qian Shao, Pradeep Varakantham, Shih-Fen Cheng

Long Paper (15min)

LCPPO: An Efficient Multi-agent Reinforcement Learning Algorithm on Complex Railway Network

Yuan Zhang, Umashankar Deekshith, Jianhong Wang, Joschka Boedecker

Long Paper (15min)

Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents

Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov

Long Paper (15min)

Online Control of Adaptive Large Neighborhood Search Using Deep Reinforcement Learning

Robbert Reijnen, Yingqian Zhang, Hoong Chuin Lau, Zaharah Bukhsh

Long Paper (15min)

Planning with a Learned Policy Basis to Optimally Solve Complex Tasks

David Kuric, Guillermo Infante, Vicenç Gómez, Anders Jonsson, Herke van Hoof

Long Paper (15min)

Large Language Models as Planning Domain Generators

James Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi

Long Paper (15min)

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

Long Paper (15min)

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

Long Paper (15min)

When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications

Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri

Previously Published Paper (10min)

Integrating Action Knowledge and LLMs for Task Planning and Situation Handling in Open Worlds

Yan Ding, Xiaohan Zhang, Saeid Amiri, Nieqing Cao, Hao Yang, Andy Kaminski, Chad Esselink, Shiqi Zhang

Previously Published Paper (10min)

Learning General Policies for Planning through GPT Models

Nicholas Rossetti, Massimiliano Tummolo, Alfonso Gerevini, Luca Putelli, Ivan Serina, Mattia Chiari, Matteo Olivato

Long Paper (15min)

Neural Action Policy Safety Verification: Applicablity Filtering

Marcel Vinzent, Jörg Hoffmann

Short Paper (10min)

Formal Representations of Classical Planning Domains

Claudia Grundke, Gabriele Röger, Malte Helmert

Long Paper (15min)

An Analysis of the Decidability and Complexity of Numeric Additive Planning

Hayyan Helal, Gerhard Lakemeyer

Long Paper (15min)

Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity

Simon Dold, Malte Helmert

Long Paper (15min)

Map Connectivity and Empirical Hardness of Grid-based Multi-Agent Pathfinding Problem

Jingyao Ren, Eric Ewing, T. K. Satish Kumar, Sven Koenig, Nora Ayanian

Short Paper (10min)

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification

Gregor Behnke, Marcel Steinmetz

Short Paper (10min)

Unifying and Certifying Top-Quality Planning

Michael Katz, Junkyu Lee, Shirin Sohrabi

Short Paper (10min)

Termination Properties of Transition Rules for Indirect Effects

Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen

Long Paper (15min)

Action Model Learning from Noisy Traces: a Probabilistic Approach

Leonardo Lamanna, Luciano Serafini

Long Paper (15min)

Neuro-symbolic Learning of Lifted Action Models from Visual Traces

Kai Xi, Stephen Gould, Sylvie Thiebaux

Long Paper (15min)

Safe Learning of PDDL Domains with Conditional Effects

Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba

Long Paper (15min)

Expressiveness of Graph Neural Networks in Planning Domains

Rostislav Horcik, Gustav Šír

Long Paper (15min)

Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning

Dillon Ze Chen, Felipe Trevizan, Sylvie Thiebaux

Long Paper (15min)

Specifying Goals to Deep Neural Networks with Answer Set Programming

Forest Agostinelli, Rojina Panta, Vedant Khandelwal

Long Paper (15min)

Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form

Luke Hunsberger, Roberto Posenato

Long Paper (15min)

Multi-Agent Temporal Task Solving and Plan Optimization

Javier Caballero Testón, MariaD. R-Moreno

Long Paper (15min)

Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata

Rasmus Grønkjær Tollund, Nicklas Slorup Johansen, Kristian Ødum Nielsen, Alvaro Torralba, Kim Guldstrand Larsen

Long Paper (15min)

Planning and Acting While the Clock Ticks

Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg

Long Paper (15min)

Progressive State Space Disaggregation for Infinite Horizon Dynamic Programming

Orso Forghieri, Erwan Le Pennec, Hind Castel, Emmanuel Hyon

Long Paper (15min)

On Verifying Linear Execution Strategies in Planning Against Nature

Lukas Chrpa, Erez Karpas

Long Paper (15min)

A Fast Algorithm for k-Memory Messaging Scheme Design in Dynamic Environments with Uncertainty

Zhikang Fan, Weiran Shen

Long Paper (15min)

Bounded Suboptimal Weight-Constrained Shortest-Path Search via Efficient Representation of Paths

Han Zhang, Oren Salzman, Ariel Felner, T. K. Satish Kumar, Sven Koenig

Long Paper (15min)

Computing Planning Centroids and Minimum Covering States using Symbolic Bidirectional Search

Alberto Pozanco, Alvaro Torralba, Daniel Borrajo

Long Paper (15min)

Exact Multi-objective Path Finding with Negative Weights and Negative Cycles

Saman Ahmadi, Daniel Harabor, Nathan R. Sturtevant, Mahdi Jalili

Long Paper (15min)

Lookahead Pathology in Monte-Carlo Tree Search

Khoi P. N. Nguyen, Raghuram Ramanujan

Long Paper (15min)

New Fuzzing Biases for Action Policy Testing

Jan Eisenhut, Xandra Schuler, Daniel Fišer, Daniel Höller, Maria Christakis, Jörg Hoffmann

Short Paper (10min)

Improving Learnt Local MAPF Policies with Heuristic Search

Rishi Veerapaneni, Qian Wang, Kevin Ren, Arthur Jakobsson, Jiaoyang Li, Maxim Likhachev

Long Paper (15min)

MAPF in 3D Warehouses: Dataset and Analysis

Qian Wang, Rishi Veerapaneni, Yu Wu, Jiaoyang Li, Maxim Likhachev

Long Paper (15min)

Planning and Execution in Multi-Agent Path Finding: Models and Algorithms

Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey

Long Paper (15min)

Robust Multi-Agent Pathfinding with Continuous Time

Wen Jun Tan, Xueyan Tang, Wentong Cai

Long Paper (15min)

SKATE : Successive Rank-based Task Assignment for Proactive Online Planning

Deborah Conforto Nedelmann, Jérôme Lacan, Caroline Ponzoni Carvalho Chanel

Long Paper (15min)

Efficient Approximate Search for Multi-Objective Multi-Agent Path Finding

Fangji Wang, Han Zhang, Sven Koenig, Jiaoyang Li

Long Paper (15min)

Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent

Paula Stocco, Suhas Chundi, Arec Jamgochian, Mykel Kochenderfer

Short Paper (10min)

Non-Deterministic Planning for Hyperproperty Verification

Raven Beutner, Bernd Finkbeiner

Short Paper (10min)

Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Probabilistic Programs

Or Wertheim, Dan R. Suissa, Ronen I. Brafman

Previously Published Paper (10min)

Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings

Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava

Long Paper (15min)

Weak and Strong Reversibility of Non-Deterministic Actions: Universality and Uniformity

Jakub Med, Lukas Chrpa, Michael Morak, Wolfgang Faber

Long Paper (15min)

A Counter-Example Based Approach to Probabilistic Conformant Planning

Xiaodi Zhang, Alban Grastien, Charles Gretton

Long Paper (15min)

Tightest Admissible Shortest Path

Eyal Weiss, Ariel Felner, Gal Kaminka

Long Paper (15min)

Accelerating Search-Based Planning for Multi-Robot Manipulation by Leveraging Online-Generated Experiences

Yorai Shaoul, Itamar Mishani, Maxim Likhachev, Jiaoyang Li

Long Paper (15min)

Combined Task and Motion Planning Via Sketch Decompositions

Magí Dalmau-Moreno, Nestor Garcia, Vicenç Gómez, Hector Geffner

Long Paper (15min)

Learning Quadruped Locomotion Policies using Logical Rules

David DeFazio, Yohei Hayamizu, Shiqi Zhang

Long Paper (15min)

Multi-Robot Connected Fermat Spiral Coverage

Jingtao Tang, Hang Ma

Long Paper (15min)

Effort Level Search in Infinite Completion Trees with Application to Task-and-Motion Planning

Marc Toussaint, Joaquim Ortiz-Haro, Valentin N. Hartmann, Erez Karpas, Wolfgang Hönig

Previously Published Paper (10min)

Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty

Charlie Street, Bruno Lacerda, Manual Mühlig, Nick Hawes

Previously Published Paper (10min)

Solving Multi-Agent Target Assignment and Path Finding with a Single Constraint Tree

Yimin Tang, Zhongqiang Ren, Jiaoyang Li, Katia Sycara

Previously Published Paper (10min)

SLAMuZero: Plan and learn to Map for Joint SLAM and Navigation

Bowen Fang, Xu Chen, Zhengkun Pan, Xuan Di

Short Paper (10min)

Dynamic Targeting to Improve Earth Science Missions

Alberto Candela, Jason Swope, Steve A. Chien

Previously Published Paper (10min)

EELS: Autonomous snake-like robot with task and motion planning capabilities for ice world exploration

T. S. Vaquero, G. Daddi, R. Thakker, M. Paton, A. Jasour, M. P. Strub, R. M. Swan, R. Royce, M. Gildner, P. Tosi, M. Veismann, P. Gavrilov, E. Marteau, J. Bowkett, D. Loret de Mola Lemus, Y. Nakka, B. Hockman, A. Orekhov, T. D. Hasseler, C. Leake, B. Nuernberger, P. Proença, W. Reid, W. Talbot, N. Georgiev, T. Pailevanian, A. Archanian, E. Ambrose, J. Jasper, R. Etheredge, C. Roman, D. Levine, K. Otsu, S. Yearicks, H. Melikyan, R. R. Rieber, K. Carpenter, J. Nash, A. Jain, L. Shiraishi, M. Robinson, M. Travers, H. Choset, J. Burdick, A. Gardner, M. Cable, M. Ingham, M. Ono

Previously Published Paper (10min)

Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation Learning

Zhaoxun Ju, Chao Yang, Fuchun Sun, Hongbo Wang, Yu Qiao

Long Paper (15min)

Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation

Itai Zilberstein, Ananya Rao, Matthew Salis, Steve Chien

Long Paper (15min)

Contrastive Explanations of Centralized Multi-agent Optimization Solutions

Parisa Zehtabi, Alberto Pozanco, Ayala Bolch, Daniel Borrajo, Sarit Kraus

Long Paper (15min)

Explaining Plan Quality Differences

Benjamin Lewis Krarup, David E Smith, Derek Long, Amanda Jane Coles

Long Paper (15min)

Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning

Marcel Steinmetz, Sylvie Thiebaux, Daniel Höller, Florent Teichteil-Königsbuch

Long Paper (15min)

Safe Explicable Planning

Akkamahadevi Hanni, Andrew Boateng, Yu Zhang

Long Paper (15min)

Planning with Object Creation

Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin

Long Paper (15min)

Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning

David Speck, Daniel Gnad

Long Paper (15min)

On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies

Blai Bonet, Dominik Drexler, Hector Geffner

Long Paper (15min)

Planning Domain Simulation: An Interactive System for Plan Visualisation

Emanuele De Pellegrin, Ron Petrick

Long Paper (15min)

Incremental Ordering for Scheduling Problems

Stefan Neubert, Katrin Casel

Long Paper (15min)

Investigating Large Neighbourhood Search for Bus Driver Scheduling

Tommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu

Long Paper (15min)

Preference Explanation and Decision Support for Multi-Objective Real-World Test Laboratory Scheduling

Florian Mischek, Nysret Musliu

Long Paper (15min)

A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution

Ying Feng, Adittyo Paul, Zhe Chen, Jiaoyang Li

Long Paper (15min)

Multi-Objective Electric Vehicle Route and Charging Planning with Contraction Hierarchies

Marek Cuchý, Jiří Vokřínek

Long Paper (15min)

Neural Combinatorial Optimization on Heterogeneous Graphs. An Application to the Picker Routing Problem in Mixed-shelves Warehouses

Laurin Luttmann, Lin Xie

Long Paper (15min)

Replanning in Advance for Instant Delay Recovery in Multi-Agent Applications: Rerouting Trains in a Railway Hub

Issa Hanou, Devin Wild Thomas, Wheeler Ruml, Mathijs de Weerdt

Long Paper (15min)

The Story So Far on Narrative Planning

Rogelio E. Cardona-Rivera, Arnav Jhala, Julie Porteous, R. Michael Young

Long Paper (15min)

Learning Generalised Policies for Numeric Planning

Ryan Xiao Wang, Sylvie Thiebaux

Long Paper (15min)

PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation

Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati

Long Paper (15min)

Taming Discretised PDDL+ through Multiple Discretisations

Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati

Long Paper (15min)

JaxPlan and GurobiPlan: Optimization Baselines for Replanning in Discrete and Mixed Discrete and Continuous Probabilistic Domains

Michael Gimelfarb, Ayal Taitler, Scott Sanner

Long Paper (15min)