Programs

4/13/25

Tutorial on Domain-Independent Dynamic Programming

Modeling and Solving Combinatorial Optimization Problems with Heuristic Search through Domain-Independent Dynamic Programming

Abstract

Domain-independent dynamic programming (DIDP) is a recently proposed technology for solving combinatorial optimization problems, such as routing and scheduling problems studied in operations research. In DIDP, a problem is formulated as a declarative dynamic programming model and then solved by a general-purpose solver. DIDP is inspired by domain-independent AI planning: its modeling language is based on a state-based problem representation, and its currently developed solvers are based on heuristic search algorithms such as A*. Recent research has demonstrated that DIDP has state-of-the-art performance in multiple combinatorial optimization problem classes, outperforming commercial constraint programming and mixed integer programming solvers. We aim to introduce DIDP to the ICAPS community, encouraging researchers to apply AI planning and heuristic search technologies to combinatorial optimization through DIDP. This tutorial introduces the basics of DIDP and does a hands-on session using DIDPPy, the Python interface of our DIDP software framework.

5/8/24

Schedule

(Schedule Overview)


Monday, November 10, 2025 - Workshops and Tutorials ↑ Back to Navigation

Registration Opens (7:30)

Session 1 (8:30 - 10:00)

Forum 1
PRL - Bridging the Gap Between AI Planning and Reinforcement Learning

2/1/24

List of Accepted Papers

List of Papers Accepted to ICAPS 2025



Filter by Keywords




1
Vishal Pallagani, Nitin Gupta, Bharath Chandra Muppasani, Biplav Srivastava
Keywords: PS: Applications
2
Chang-Lin Chen, Jiayu Chen, Tian Lan, Zhaoxia Zhao, Hongbo Dong, Vaneet Aggarwal
Keywords: PS: Applications, PS: Learning for planning and scheduling
3
Emile Siboulet, Roland Godet, Arthur Bit-Monnot, Marc-Emmanuel Coupvent des Graviers, Christophe GUETTIER, Simon Lacroix
Keywords: PS: SAT, SMT and CP, PS: Routing, PS: Temporal planning, PS: Applications, PS: Optimization of spatio-temporal systems
4
Kevin Zheng, Daniel Harabor, Michael Wybrow
Keywords: PS: Applications
5
Jeremy Frank, Richard Levinson, Vijayakumar Baskaran, Jeffrey S Brink
Keywords: PS: Applications, PS: Scheduling, PS: SAT, SMT and CP
6
Junwei Yu, Yepeng Ding, Hiroyuki Sato
Keywords: PS: Planning with large language models, PS: Distributed and multi-agent planning, PS: Plan execution and monitoring, PS: Scheduling
7
Ngoc La, Ruaridh Mon-Williams, Julie Shah
Keywords: PS: Planning with Hierarchical Task Networks (HTN), PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Multi-agent path-finding

1
Kaarthik Sundar, Sivakumar Rathinam
Keywords: PS: Mixed discrete/continuous planning, ROB: Motion and path planning

4
Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger, Tanja Schindler
Keywords: PS: Classical (fully-observable, deterministic) planning, PS: Theoretical foundations of planning
5
Augusto B. Corrêa
Keywords: PS: Classical (fully-observable, deterministic) planning, PS: Theoretical foundations of planning
6
Diego Aineto, Enrico Scala
Keywords: PS: Fully observable non-deterministic planning
8
YANG YOU, Vincent Thomas, Alex Schutz, Robert Skilton, Nick Hawes, Olivier Buffet
Keywords: PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Planning under uncertainty, PS: Partially observable planning
9
Dibyangshu Mukherjee, Shivaram Kalyanakrishnan
Keywords: PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Infinite-horizon optimal control problems, PS: Theoretical foundations of planning
10
Angel Garcia Olaya, Patricia J. Riddle, Mike Barley
Keywords: PS: Classical (fully-observable, deterministic) planning
11
Alexander Zadorojniy, Orit Davidovich, Takayuki Osogami
Keywords: PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Mathematical programming, PS: Theoretical foundations of planning
12
Enrico Scala, Luigi Bonassi
Keywords: PS: Mixed discrete/continuous planning
14
Katharina Stein, Daniel Fišer, Jörg Hoffmann, Alexander Koller
Keywords: PS: Planning with large language models
15
Jan Eisenhut, Daniel Fišer, Isabel Valera, Jörg Hoffmann
Keywords: PS: Learning for planning and scheduling, PS: Classical (fully-observable, deterministic) planning
16
Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta
Keywords: PS: Temporal planning, PS: SAT, SMT and CP, PS: Plan execution and monitoring, PS: Model checking for trust, safety and robustness
17
Pascal Lauer, Daniel Fišer
Keywords: PS: Classical (fully-observable, deterministic) planning
18
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Abhishek Dubey
Keywords: PS: Planning under uncertainty, PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Partially observable planning
19
Pascal Lauer, S.T. Lin, Pascal Tobias Bercher
Keywords: PS: Planning with Hierarchical Task Networks (HTN)
20
Augusto B. Corrêa, Jendrik Seipp
Keywords: PS: Classical (fully-observable, deterministic) planning
21
Victor Scherer Putrich, Felipe Meneguzzi, André Grahl Pereira
Keywords: PS: Planning with Hierarchical Task Networks (HTN)
22
Pascal Lauer, Alvaro Torralba, Daniel Höller, Jörg Hoffmann
Keywords: PS: Model-based reasoning, PS: Classical (fully-observable, deterministic) planning
23
P. Maurice Dekker, Gregor Behnke
Keywords: PS: Fully observable non-deterministic planning, PS: Planning with Hierarchical Task Networks (HTN)
24
Francesco Percassi, Enrico Scala, Mauro Vallati
Keywords: PS: Mixed discrete/continuous planning
25
Pratyush Agarwal, Mulinti Shaik Wajid, Shivaram Kalyanakrishnan
Keywords: PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Infinite-horizon optimal control problems
26
Nitin Yadav, Sebastian Sardina, Hector Geffner
Keywords: PS: Fully observable non-deterministic planning
28
Matteo Cardellini, Francesco Percassi, Marco Maratea, Mauro Vallati
Keywords: PS: Mixed discrete/continuous planning
29
Gaspard Quenard, Damien Pellier, Humbert FIORINO
Keywords: PS: Planning with Hierarchical Task Networks (HTN), PS: SAT, SMT and CP

2
Timo P. Gros, Nicola J. Müller, Daniel Fišer, Isabel Valera, Verena Wolf, Jörg Hoffmann
Keywords: PS: Generalized planning
3
Chang-Lin Chen, Jiayu Chen, Tian Lan, Zhaoxia Zhao, Hongbo Dong, Vaneet Aggarwal
Keywords: PS: Applications, PS: Learning for planning and scheduling
4
Jonas Gösgens, Niklas Jansen, Hector Geffner
Keywords: PS: Learning for planning and scheduling
5
Sukai Huang, Trevor Cohn, Nir Lipovetzky
Keywords: PS: Planning with large language models
6
Katharina Stein, Daniel Fišer, Jörg Hoffmann, Alexander Koller
Keywords: PS: Planning with large language models
8
Jan Eisenhut, Daniel Fišer, Isabel Valera, Jörg Hoffmann
Keywords: PS: Learning for planning and scheduling, PS: Classical (fully-observable, deterministic) planning
9
Yingbin Bai, Sylvie Thiebaux, Felipe Trevizan
Keywords: PS: Learning for planning and scheduling
10
Mattia Chiari, Luca Putelli, Nicholas Rossetti, Ivan Serina, Alfonso Gerevini
Keywords: PS: Learning for planning and scheduling
11
Ngoc La, Ruaridh Mon-Williams, Julie Shah
Keywords: PS: Planning with Hierarchical Task Networks (HTN), PS: Planning with Markov decision process models (MDPs, POMDPs), PS: Multi-agent path-finding

1
Maximilian Zorn, Jonas Stein, Maximilian Balthasar Mansky, Philipp Altmann, Michael Kölle, Claudia Linnhoff-Popien
Keywords: PS: Local search and evolutionary programming, PS: Sub-modular and gradient-free optimization
2
Alba Gragera, Raquel Fuentetaja, Angel Garcia Olaya, Fernando Fernández
Keywords: PS: Planning with incomplete models
3
Pascal Bachor, P. Maurice Dekker, Gregor Behnke
Keywords: PS: Learning for planning and scheduling, PS: Partially observable planning, PS: Theoretical foundations of planning
4
Mauro Vallati, Roman Barták, Lukas Chrpa, Thomas Leo McCluskey, Ron Petrick
Keywords: PS: Applications
5
Paul Zaidins, Robert P. Goldman, Ugur Kuter, Dana S. Nau, Mark Roberts
Keywords: PS: Planning with Hierarchical Task Networks (HTN), PS: Plan execution and monitoring
6
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Keywords: PS: Model-based reasoning, PS: Fully observable non-deterministic planning
7
Matteo Cardellini, Francesco Percassi, Marco Maratea, Mauro Vallati
Keywords: PS: Mixed discrete/continuous planning

1/29/24

Workshop Program Overview

Workshop Program Overview

Here is the list of the worskhops accepted to ICAPS 2025

Acronym
Workshop Title

Constraint And Satisfiability-based Planning: an Exploratory Research Workshop

9/29/22

Keynotes

ICAPS 2025 Keynotes

(12th November 2025)

Sequential Decision-Making for Robots Operating in Non Deterministic and Partially Observable World

In recent years, robotics hardware has advanced tremendously, with increasingly affordable humanoids, quadrupeds, telepresence robots, and many more. Despite these advances, developing autonomous or semi-autonomous robots that can reliably, efficiently, and safely operate in our environments remains an open problem. Key to this difficulty is the ubiquity of uncertainty. These robots must compute effective strategies to achieve their goals even when the outcomes of their actions are uncertain, their sensors and perception systems are erroneous, and the environments they operate in are dynamic and only partially observable. Moreover, they must ensure safety for both the robots and the humans around them. However, the technology that enables robots to efficiently construct effective strategies in the presence of a wide variety of uncertainty is still lacking. In this talk, I will present some of our work in developing such a technology, specifically on our recent work in Partially Observable Markov Decision Processes (POMDPs) —the general and principled framework for sequential decision-making under uncertainty. I will also present how this technology can be applied for safety assurance of autonomous systems.

Short Bio
Hanna Kurniawati is a Professor at the ANU School of Computing and holds the SmartSat Chair for System Autonomy, Intelligence & Decision-Making. Hanna’s research spans robotics, decision-making under uncertainty, motion planning, computational geometry applications, integrated planning and learning, and reinforcement learning. Her works on scalable methods for planning under uncertainty have received multiple recognitions, including a student best paper award at ICAPS’15, a finalist for the best paper award at ICRA’15, and the RSS’21Test of Time Award. She has given keynote talks at IROS’18 and ICRA’25. Hanna was a Senior Editor of IEEE RA-L, the Award Chair of CoRL’22, a Program Co-Chair of ICRA’22, and is an Editor of IEEE TRO.

(13th November 2025)

Machine Learning meets Combinatorial Optimization

Machine learning and discrete optimization have both made significant strides in methodology and in successful applications. Their fusion, however, can provide the next big step change in solving hard combinatorial optimization problems more effectively. In this talk, I will highlight recent successes in integrating ML into existing combinatorial optimization algorithms, using distributions of related optimization instances as training data and leveraging techniques such as contrastive loss and multi-task learning. The successful hybridization of neural models and symbolic solvers will be demonstrated across mixed integer linear programming, multi-agent path finding, and nonlinear optimization problems.

Short Bio
Bistra Dilkina is an Associate Professor of Computer Science and the Dr. Allen and Charlotte Ginsburg Early Career Chair in Computer Science at the University of Southern California, USA. Her research focuses on challenging computational problems in sustainability and sustainable development, particularly decision and optimization problems. She is interested in network design problems as they arise in large-scale wildlife conservation planning and urban planning. She is a USC CREATE research fellow and co-Director of the USC Center for AI in Society (CAIS), a joint effort between the USC Viterbi School of Engineering and the USC Suzanne Dworak-Peck School of Social Work. During 2013-2017, she was as an Assistant Professor in the College of Computing at the Georgia Institute of Technology and a co-director of the Data Science for Social Good Atlanta summer program.

(14th November 2025)

Knowledge Representation meets Automated Planning: From Reasoning about Actions and Change to Planning and Model Reconciliation and Beyond

Knowledge representation and reasoning has been one of the most important research directions in AI. Research in KRR has played an important role in the development of several subareas such as reasoning about actions and change, commonsense reasoning, automated planning, etc. In this talk, I will discuss in depth the relationship between reasoning about actions and change and automated planning and their role in recent topics such as explainable AI and epistemic planning. I will conclude with a discussion on the role of LLM in KRR and planning in general.

Short Bio
Tran Cao Son is a Professor and Head of Computer Science at New Mexico State University, USA. His research is at the intersection of AI Planning, Scheduling and Knowledge Representation and Reasoning. With his students, Son received the Best Student Paper Award at ICAPS 2012, and his CpA(H) planner received the Best Planner Award in the non-observable and non-deterministic track at the 2008 International Planning Competition. He has served on a number of distinguished organising committees including co-chair of the 12th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-2013) , co-Program Chair of the 33rd International Conference on Logic Programming (ICLP 2017), co-General Chair of the 35th International Conference on Logic Programming (ICLP 2019) and co-Program Chair of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). He was a member of the editorial board of the Artificial Intelligence journal (AIJ) from 2016 to 2020.

9/29/22
1/1/

Awards

ICAPS 2025 Outstanding Paper Awards

The award adjudication process consisted of three steps. Accepted submissions were split into the student and general categories. Each set of papers was sorted in descending order of their review scores, using the scores attained by the end of the reviewing period. The two top papers in each category were then presented to the ICAPS 2025 topic chairs for evaluation, who then cast a vote to determine the winner and provided a rationale for their decision. Neither conference nor program chairs were involved in the decision making of these awards.

1/1/

Demo

ICAPS-25 System Demonstrations

Towards Unstructured MAPF: Multi-Quadruped MAPF Demo – (PDF)

Teaser
Full video

Abstract: Multi-Agent Path Finding (MAPF) in its most broad perspective focuses on finding collision free paths for general teams of agents in a shared environment. Theoretically, MAPF methods could solve a variety of multi-agent problems. However, MAPF research primarily focuses on simplified warehouse domains, i.e., gridworld with discrete spaces, discrete timesteps, and point-mass agents without kinematic constraints. Thus, the perception of MAPF is tied closely to gridworld and its assumptions, which limits its attractiveness to more broad domains.