Tutorial Program Overview

Here is the list of the tutorials accepted to ICAPS 2025

Tutorial Title

Organizer(s)

Planning as SAT: What’s new?

Integrating Machine Learning and Planning as Satisfiability: Going beyond Action Model Learning

The Theory and Practice of sub-optimal Best-First Search without Node Re-openings

Learning for Planning: An Introduction and Primer

Dillon Z. Chen and Felipe Trevizan and Sylvie Thiébaux

MiniZinc - Constraint Programming for Planning

LTLf Synthesis and Planning Under Unreliable Input

Giuseppe De Giacomo and Shufang Zhu

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

Ryo Kuroiwa and J. Christopher Beck

Epistemic Planning: Recent Advancements and Future Directions