ICAPS-2022 Schedule Overview

June 21 June 22 June 23 June 24
6Opening (start: +30min)
7Invited Talk: Malte Helmert(9a) Search(9b) Multi-Agent Planning(18a) Classical Planning(18b) RoboticsInvited Talk: Tim Miller
8Social: Get TogetherSocial: Get TogetherSocial: GamesSocial: Open Discussion
9(1a) Planning Representations and Scheduling(1b) Verification(10a) Goal and Plan Recognition(10b) Scheduling Applications(19a) Expressivity and Complexity(19b) Path Finding(27a) Reformulation(27b) Probabilistic Planning
10(2a) Reinforcement Learning(2b) Heuristics in Classical Planning(11a) Heuristics in Classical and Multi-Objective Planning(11b) Applications(20a) Explainable Planning and Scheduling(20b) Heuristics and Heuristic Search(28a) Model-Based Reasoning in Classical Planning(28b) Temporal Planning
11Poster and Demo SessionCompetition PanelPoster and Demo SessionPoster and Demo Session
12
13(3a) Model-Based Reasoning in Classical Planning(3b) Learning in Scheduling Applications(12a) Numeric Planning(12b) Deep LearningIndustry Panel(29a) Multi-Agent and Tree Search(29b) Motion Planning and Deep RL
14(4a) Search(4b) Optimal Planning(13a) Epistemic Planning(13b) Heuristics in Classical Planning(21a) Applications(21b) Temporal Planning and Reinforcement LearningCommunity Meeting
(ends +20min)
15Career Development PanelSocial: Pseudonym Get TogetherSocial: Puzzle Game Team Challenge
16(5a) Problem Reformulation(5b) Heuristics and Heuristic SearchInvited Talk: Emma Brunskill(22a) Reinforcement Learning(22b) Robotics(30a) Scheduling
(start: +20 min)		(30b) Heuristics in Classical Planning
(start: +20 min)
17(6a) Multi-Agent Path Finding(6b) Deep Learning(14a) Search(14b) Verification(23a) Abstraction Heuristics(23b) Reinforcement Learning(31a) User Interfaces for Explainable Planning
(start: +20 min)		(31b) Scheduling
(start: +20 min)
18Poster and Demo SessionPoster and Demo SessionInvited Talk: Sidd Srinivasa
19Closing and Final Get Together
20(7a) Probabilistic Planning(7b) Multi-Agent Planning and Scheduling(15a) Planning Decompositions and Learning(15b) Explainable Planning and Scheduling(24a) Reinforcement Learning in Applications(24b) User Interactions and Top-Quality Planning
21Social: Speed GatheringSocial: Pseudonym Get TogetherSocial: Get Together
22(8a) Hierarchical Task Networks(8b) Rewards in Reinforcement Learning(16a) Multi-Agent Planning(16b) Reinforcement Learning(25a) Heuristic Search(25b) Epistemic Planning
23Invited Talk: Sven Koenig(17a) Applications(17b) Path and Motion Planning(26a) Heuristics(26b) Scheduling
24Social: GamesPoster and Demo SessionPoster and Demo Session

Detailed Schedule

Tuesday 21

6:00 UTCOpening (start: +30min)
7:00 UTCInvited Talk: Malte Helmert
8:00 UTCSocial: Get Together
9:00 UTC (1a) Planning Representations and Scheduling
Session Chair: Neil Yorke-Smith		 (1b) Verification
Session Chair: Erez Karpas
Generalized Linear Integer Numeric Planning (Main Track)
Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo and Kaile Su 		Neural Network Action Policy Verification via Predicate Abstraction (Main Track)
Marcel Vinzent, Marcel Steinmetz and Jörg Hoffmann
Uniform Machine Scheduling with Predictions (Main Track)
Tianming Zhao, Wei Li and Albert Zomaya 		Debugging a Policy: Automatic Action-Policy Testing in AI Planning (Main Track)
Marcel Steinmetz, Daniel Fišer, Hasan Ferit Enişer, Patrick Ferber, Timo Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis and Joerg Hoffmann
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width (Main Track)
Dominik Drexler, Jendrik Seipp and Hector Geffner 		Decidability and Complexity of Action-Based Temporal Planning over Dense Time (Journal Presentations Track)
Nicola Gigante, Andrea Micheli, Angelo Montanari and Enrico Scala
10:00 UTC (2a) Reinforcement Learning
Session Chair: Vaneet Aggarwal		 (2b) Heuristics in Classical Planning
Session Chair: Jörg Hoffmann
Deep reinforcement learning for a multi-objective online order batching problem (Industry and Applications Track)
Martijn Beeks, Reza Refaei Afshar, Yingqian Zhang, Remco Dijkman, Claudy van Dorst and Stijn de Looijer 		Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming (Main Track)
Masood Feyzbakhsh Rankooh and Jussi Rintanen
Reinforcement Learning Approach to Solve Dynamic Bi-Objective Police Patrol Dispatching and Rescheduling Problem (Industry and Applications Track)
Waldy Joe, Hoong Chuin Lau and Jonathan Pan 		Detecting Unsolvability Based on Separating Functions (Main Track)
Remo Christen, Salomé Eriksson, Florian Pommerening and Malte Helmert
Learning Multi-agent Action Coordination via Electing First-move Agent (Planning and Learning Track)
Jingqing Ruan, Linghui Meng, Xuantang Xiong, Dengpeng Xing and Bo Xu 		New Refinement Strategies for Cartesian Abstractions (Main Track)
David Speck and Jendrik Seipp
11:00 UTCPoster and Demo Session
13:00 UTC (3a) Model-Based Reasoning in Classical Planning
Session Chair: Michael Katz		 (3b) Learning in Scheduling Applications
Session Chair: Nysret Musliu
Loopless Top-k Planning (Main Track)
Julian von Tschammer, Robert Mattmüller and David Speck 		Stochastic Resource Optimization over Heterogeneous Graph Neural Networks for Failure-Predictive Maintenance Scheduling (Industry and Applications Track)
Zheyuan Wang and Matthew Gombolay
Encoding Lifted Classical Planning in Propositional Logic (Main Track)
Daniel Höller and Gregor Behnke 		OFFICERS: Operational Framework For Intelligent Crime-and-Emergency Response Scheduling (Industry and Applications Track)
Jonathan Chase, Siong Thye Goh, Phong Tran and Hoong Chuin Lau
Classical Planning as QBF without Grounding (Main Track)
Irfansha Shaik and Jaco van de Pol 		Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling (Planning and Learning Track)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein and Philipp Schrott-Kostwein
14:00 UTC (4a) Search
Session Chair: Michael Katz		 (4b) Optimal Planning
Session Chair: Jörg Hoffmann
Beam Search: Faster and Monotonic (Main Track)
Sofia Lemons, Carlos Linares, Robert Holte and Wheeler Ruml 		Optimal Mixed Strategies for Cost-Adversarial Planning Games (Main Track)
Rostislav Horčík, Alvaro Torralba, Pavel Rytíř, Lukáš Chrpa and Stefan Edelkamp
Best-First Width Search for Lifted Classical Planning (Main Track)
Augusto B. Corrêa and Jendrik Seipp 		It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems (Main Track)
Aakash Aakash and Indranil Saha
Beyond Stars - Generalized Topologies for Decoupled Search (Main Track)
Daniel Gnad, Álvaro Torralba and Daniel Fišer 		Optimising the Stability in Plan Repair via Compilation (Main Track)
Alessandro Saetti and Enrico Scala
15:00 UTCCareer Development Panel
16:00 UTC (5a) Problem Reformulation
Session Chair: Sunandita Patra		 (5b) Heuristics and Heuristic Search
Session Chair: Jendrik Seipp
A Compilation Based Approach to Finding Centroids and Minimum Covering States in Planning (Main Track)
Erez Karpas 		Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search (Main Track)
Daniel Fišer, Álvaro Torralba and Joerg Hoffmann
Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria (Main Track)
Michael Katz and Shirin Sohrabi 		Cost Partitioning Heuristics for Stochastic Shortest Path Problems (Main Track)
Thorsten Klößner, Florian Pommerening, Thomas Keller and Gabriele Röger
A Network Flow Interpretation of Robust Goal Legibility in Path Finding (Human-Aware Planning and Scheduling Track)
Sara Bernardini, Fabio Fagnani, Santiago Franco and Alexandra Neacsu 		Iterative Depth-First Search for Fully Observable Non-Deterministic Planning (Main Track)
Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa and Giuseppe De Giacomo
17:00 UTC (6a) Multi-Agent Path Finding
Session Chair: Hang Ma		 (6b) Deep Learning
Session Chair: Scott Sanner
Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution (Main Track)
Keisuke Okumura and Xavier Defago 		Learning To Estimate Search Progress Using Sequence Of States (Main Track)
Matan Sudry and Erez Karpas
Conflict-Based Search for Explainable Multi-Agent Path Finding (Human-Aware Planning and Scheduling Track)
Justin Kottinger, Shaull Almagor and Morteza Lahijanian 		Width-Based Planning and Active Learning for Atari (Planning and Learning Track)
Benjamin Ayton and Masataro Asai
Conflict-Based Search for the Virtual Network Embedding Problem (Main Track)
Yi Zheng, Srivatsan Ravi, Erik Kline, Sven Koenig and T. K. Satish Kumar 		An End-to-End Automatic Cache Replacement Policy Using Deep Reinforcement Learning (Industry and Applications Track)
Yang Zhou, Wang Fang, Shi Zhan and Feng Dan
18:00 UTCPoster and Demo Session
20:00 UTC (7a) Probabilistic Planning
Session Chair: Sandhya Saisubramanian		 (7b) Multi-Agent Planning and Scheduling
Session Chair: Stephen Smith
Anxiety-Sensitive Planning: From Formal Foundations to Algorithms and Applications (Human-Aware Planning and Scheduling Track)
Loïs Vanhée, Laurent Jeanpierre and Mouaddib Abdel-Illah 		Simple Temporal Networks for Improvisational Teamwork (Main Track)
Malia Morgan, Julianna Schalkwyk, Huaxiaoyue Wang, Hannah Davalos, Ryan Martinez, Vibha Rohilla and James Boerkoel
Planning for Risk-Aversion and Expected Value in MDPs (Main Track)
Marc Rigter, Paul Duckworth, Bruno Lacerda and Nick Hawes 		Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics (Industry and Applications Track)
Geert Leonardus Johannes Pingen, Christian Rijk van Ommeren, Cornelis Jan van Leeuwen, Ruben Fransen, Tijmen Elfrink, Yorick Christiaan de Vries, Janarthanan Karunakaran, Emir Demirović and Neil Yorke-Smith
Task-Guided Inverse Reinforcement Learning Under Partial Information (Main Track)
Franck Djeumou, Murat Cubuktepe, Craig Lennon and Ufuk Topcu 		Distributed Fleet Management in Noisy Environments via Model-Predictive Control (Planning and Learning Track)
Simon Bøgh, Peter G. Jensen, Martin Kristjansen, Kim G. Larsen and Ulrik Nyman
21:00 UTCSocial: Speed Gathering
22:00 UTC (8a) Hierarchical Task Networks
Session Chair: Shirin Sohrabi		 (8b) Rewards in Reinforcement Learning
Session Chair: Alberto Camacho
On the Expressive Power of Planning Formalisms in Conjunction with LTL (Main Track)
Songtuan Lin and Pascal Bercher 		Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning (Planning and Learning Track)
Taylor Dohmen, Noah Topper, George Atia, Andre Beckus, Ashutosh Trivedi and Alvaro Velasquez
Flexible FOND HTN planning: A Complexity Analysis (Main Track)
Dillon Chen and Pascal Bercher 		Active Grammatical Inference for Non-Markovian Planning (Planning and Learning Track)
Noah Topper, George Atia, Ashutosh Trivedi and Alvaro Velasquez
Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander (Industry and Applications Track)
Daniel Wang, Joseph Russino, Connor Basich and Steve Chien 		Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning (Journal Presentations Track)
Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano and Sheila A. McIlraith
23:00 UTCInvited Talk: Sven Koenig
24:00 UTCSocial: Games

Wednesday 22

7:00 UTC (9a) Search
Session Chair: Alexander Shleyfman		 (9b) Multi-Agent Planning
Session Chair: Antonin Komenda
Crossword Puzzle Resolution via Monte Carlo Tree Search (Main Track)
Lihan Chen, Jingping Liu, Sihang Jiang, Chao Wang, Jiaqing Liang, Yanghua Xiao, Sheng Zhang and Rui Song 		Optimal Mixed Strategies for Cost-Adversarial Planning Games (Main Track)
Rostislav Horčík, Alvaro Torralba, Pavel Rytíř, Lukáš Chrpa and Stefan Edelkamp
Best-First Width Search for Lifted Classical Planning (Main Track)
Augusto B. Corrêa and Jendrik Seipp 		It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems (Main Track)
Aakash Aakash and Indranil Saha
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning (Main Track)
Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa and Giuseppe De Giacomo 		Distributed Fleet Management in Noisy Environments via Model-Predictive Control (Planning and Learning Track)
Simon Bøgh, Peter G. Jensen, Martin Kristjansen, Kim G. Larsen and Ulrik Nyman
8:00 UTCSocial: Get Together
9:00 UTC (10a) Goal and Plan Recognition
Session Chair: Sarah Keren		 (10b) Scheduling Applications
Session Chair: Hoong Chuin Lau
Models of Intervention: Helping Agents and Human Users Avoid Undesirable Outcomes (Journal Presentations Track)
Sachini Weerawardhana, Mark Roberts and Darrell Whitley 		Hyper-heuristics for Personnel Scheduling Domains (Industry and Applications Track)
Lucas Kletzander and Nysret Musliu
A Compilation Based Approach to Finding Centroids and Minimum Covering States in Planning (Main Track)
Erez Karpas 		An Exact Algorithm for the Linear Tape Scheduling Problem (Main Track)
Valentin Honoré, Bertrand Simon and Frédéric Suter
A Network Flow Interpretation of Robust Goal Legibility in Path Finding (Human-Aware Planning and Scheduling Track)
Sara Bernardini, Fabio Fagnani, Santiago Franco and Alexandra Neacsu 		OFFICERS: Operational Framework For Intelligent Crime-and-Emergency Response Scheduling (Industry and Applications Track)
Jonathan Chase, Siong Thye Goh, Phong Tran and Hoong Chuin Lau
10:00 UTC (11a) Heuristics in Classical and Multi-Objective Planning
Session Chair: Florian Pommerening		 (11b) Applications
Session Chair: Charles Gretton
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods (Planning and Learning Track)
Patrick Ferber, Florian Geißer, Felipe Trevizan, Malte Helmert and Joerg Hoffmann 		Building resource-dependent conditional plans for an Earth monitoring satellite (Industry and Applications Track)
Cédric Pralet, David Doose, Julien Anxionnat and Jérémie Pouly
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond (Main Track)
Malte Helmert, Silvan Sievers, Alexander Rovner and Augusto B. Corrêa 		A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Roaming Delivery Locations (Main Track)
Quang Anh Pham, Minh Hoàng Hà, Duy Manh Vu and Huy Hoang Nguyen
Admissible Heuristics for Multi-Objective Planning (Main Track)
Florian Geißer, Patrik Haslum, Sylvie Thiebaux and Felipe Trevizan 		Optimisation of Annual Planned Rail Maintenance (Journal Presentations Track)
Menno Oudshoorn, Timo Koppenberg and Neil Yorke-Smith
11:00 UTCCompetition Panel
13:00 UTC (12a) Numeric Planning
Session Chair: Patrik Haslum		 (12b) Deep Learning
Session Chair: Malte Helmert
LM-Cut Heuristics for Optimal Linear Numeric Planning (Main Track)
Ryo Kuroiwa, Alexander Shleyfman and Chris Beck 		Neural Network Action Policy Verification via Predicate Abstraction (Main Track)
Marcel Vinzent, Marcel Steinmetz and Jörg Hoffmann
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking (Journal Presentations Track)
Josef Bajada, Maria Fox and Derek Long 		Debugging a Policy: Automatic Action-Policy Testing in AI Planning (Main Track)
Marcel Steinmetz, Daniel Fišer, Hasan Ferit Enişer, Patrick Ferber, Timo Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis and Joerg Hoffmann
Generalized Linear Integer Numeric Planning (Main Track)
Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo and Kaile Su 		Learning Multi-agent Action Coordination via Electing First-move Agent (Planning and Learning Track)
Jingqing Ruan, Linghui Meng, Xuantang Xiong, Dengpeng Xing and Bo Xu
14:00 UTC (13a) Epistemic Planning
Session Chair: Andrea Orlandini		 (13b) Heuristics in Classical Planning
Session Chair: Alvaro Torralba
Resolving Misconceptions about the Plans of Agents via Theory of Mind (Human-Aware Planning and Scheduling Track)
Maayan Shvo, Toryn Q. Klassen and Sheila A. McIlraith 		Biased Exploration for Satisficing Heuristic Search (Main Track)
Ryo Kuroiwa and Chris Beck
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief (Journal Presentations Track)
Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian Pearce and Liz Sonenberg 		Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming (Main Track)
Masood Feyzbakhsh Rankooh and Jussi Rintanen
Knowledge-based programs as building blocks for planning (Journal Presentations Track)
Jorge A. Baier and Sheila McIlraith 		Detecting Unsolvability Based on Separating Functions (Main Track)
Remo Christen, Salomé Eriksson, Florian Pommerening and Malte Helmert
15:00 UTCSocial: Pseudonym Get Together
16:00 UTCInvited Talk: Emma Brunskill
17:00 UTC (14a) Search
Session Chair: Oren Salzman		 (14b) Verification
Session Chair: Andrea Micheli
On Speeding up Methods for Identifying Redundant Actions in Plans (Main Track)
Jakub Med and Lukas Chrpa 		Compiling HTN Plan Verification Problems into HTN Planning Problems (Main Track)
Daniel Höller, Julia Wichlacz, Pascal Bercher and Gregor Behnke
A*pex: Approximate and Efficient Multi-Objective Search on Graphs (Main Track)
Han Zhang, Oren Salzman, T. K. Satish Kumar, Ariel Felner, Carlos Hernández Ulloa and Sven Koenig 		The Power of Reformulation: PDDL+ Validation Through Planning (Main Track)
Francesco Percassi, Enrico Scala and Mauro Vallati
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems (Journal Presentations Track)
Silvan Sievers and Malte Helmert 		Congestion-Aware Policy Synthesis for Multirobot Systems (Journal Presentations Track)
Charlie Street, Sebastian Pütz, Manuel Mühlig, Nick Hawes and Bruno Lacerda
18:00 UTCPoster and Demo Session
20:00 UTC (15a) Planning Decompositions and Learning
Session Chair: Scott Sanner		 (15b) Explainable Planning and Scheduling
Session Chair: Matthew Gombolay
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits (Planning and Learning Track)
Simon Ståhlberg, Blai Bonet and Hector Geffner 		VizXP: A Visualization Framework for Conveying Explanations to Users in Model Reconciliation Problems (Human-Aware Planning and Scheduling Track)
Ashwin Kumar, Stylianos Loukas Vasileiou, Melanie Bancilhon, Alvitta Ottley and William Yeoh
Width-Based Planning and Active Learning for Atari (Planning and Learning Track)
Benjamin Ayton and Masataro Asai 		Explaining Preference-driven Schedules: the EXPRES Framework (Human-Aware Planning and Scheduling Track)
Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni and Sarit Kraus
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width (Main Track)
Dominik Drexler, Jendrik Seipp and Hector Geffner 		RADAR-X: An Interactive Mixed Initiative Planning Interface Pairing Contrastive Explanations and Revised Plan Suggestions (Industry and Applications Track)
Karthik Valmeekam, Sarath Sreedharan, Sailik Sengupta and Subbarao Kambhampati
21:00 UTCSocial: Pseudonym Get Together
22:00 UTC (16a) Multi-Agent Planning
Session Chair: Jiaoyang Li		 (16b) Reinforcement Learning
Session Chair: Anders Jonsson
Multi-Agent Tree Search with Dynamic Reward Shaping (Planning and Learning Track)
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri and George Atia 		Beyond Value: CheckList for Testing Inferences in Planning-Based RL (Planning and Learning Track)
Kin-Ho Lam, Delyar Tabatabai, Jed Irvine, Donald Bertucci, Anita Ruangrotsakun, Minsuk Kahng and Alan Fern
Conflict-Based Search for Explainable Multi-Agent Path Finding (Human-Aware Planning and Scheduling Track)
Justin Kottinger, Shaull Almagor and Morteza Lahijanian 		Verifiable and Compositional Reinforcement Learning Systems (Planning and Learning Track)
Cyrus Neary, Christos Verginis, Murat Cubuktepe and Ufuk Topcu
Conflict-Based Search for the Virtual Network Embedding Problem (Main Track)
Yi Zheng, Srivatsan Ravi, Erik Kline, Sven Koenig and T. K. Satish Kumar 		Tuning the Hyperparameters of Anytime Planning: A Metareasoning Approach with Deep Reinforcement Learning (Planning and Learning Track)
Abhinav Bhatia, Justin Svegliato, Samer Nashed and Shlomo Zilberstein
23:00 UTC (17a) Applications
Session Chair: William Yeoh		 (17b) Path and Motion Planning
Session Chair: Sven Koenig
Joint Pricing and Matching for City-Scale Ride-Pooling (Industry and Applications Track)
Sanket Shah, Meghna Lowalekar and Pradeep Varakantham 		Improving Time-dependent Contraction Hierarchies (Main Track)
Bojie Shen, Muhammad Aamir Cheema, Daniel D. Harabor and Peter J. Stuckey
Planning Satellite Swarm Measurements for Earth Science Models: Comparing Constraint Processing and MILP methods (Industry and Applications Track)
Richard Levinson, Samantha Niemoeller, Sreeja Nag and Vinay Ravindra 		Lazy Rearrangement Planning in Confined Spaces (Main Track)
Rui Wang, Kai Gao, Jingjin Yu and Kostas Bekris
Stochastic Resource Optimization over Heterogeneous Graph Neural Networks for Failure-Predictive Maintenance Scheduling (Industry and Applications Track)
Zheyuan Wang and Matthew Gombolay 		Euclidean Distance-Optimal Post-Processing of Grid-Based Paths (Main Track)
Guru Koushik Senthil Kumar, Sandip Aine and Maxim Likhachev
24:00 UTCPoster and Demo Session

Thursday 23

7:00 UTC (18a) Classical Planning
Session Chair: Roni Stern		 (18b) Robotics
Session Chair: Oren Salzman
On Speeding up Methods for Identifying Redundant Actions in Plans (Main Track)
Jakub Med and Lukas Chrpa 		Conflict-Directed Diverse Planning for Logic-Geometric Programming (Main Track)
Joaquim Ortiz de Haro, Erez Karpas, Marc Toussaint and Michael Katz
Beyond Stars - Generalized Topologies for Decoupled Search (Main Track)
Daniel Gnad, Álvaro Torralba and Daniel Fišer 		DOMA: Deep Smooth Trajectory Generation Learning for Real-time UAV Motion Planning (Planning and Learning Track)
Jin Yu, Haiyin Piao, Yaqing Hou, Li Mo, Xin Yang and Deyun Zhou
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems (Journal Presentations Track)
Silvan Sievers and Malte Helmert 		Congestion-Aware Policy Synthesis for Multirobot Systems (Journal Presentations Track)
Charlie Street, Sebastian Pütz, Manuel Mühlig, Nick Hawes and Bruno Lacerda
8:00 UTCSocial: Games
9:00 UTC (19a) Expressivity and Complexity
Session Chair: Erez Karpas		 (19b) Path Finding
Session Chair: Roni Stern
On the Expressive Power of Planning Formalisms in Conjunction with LTL (Main Track)
Songtuan Lin and Pascal Bercher 		Multi-Agent Path Finding with Temporal Jump Point Search (Main Track)
Shuli Hu, Daniel Harabor, Graeme Gange, Peter Stuckey and Nathan Sturtevant
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits (Planning and Learning Track)
Simon Ståhlberg, Blai Bonet and Hector Geffner 		Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution (Main Track)
Keisuke Okumura and Xavier Defago
Flexible FOND HTN planning: A Complexity Analysis (Main Track)
Dillon Chen and Pascal Bercher 		Improving Time-dependent Contraction Hierarchies (Main Track)
Bojie Shen, Muhammad Aamir Cheema, Daniel D. Harabor and Peter J. Stuckey
10:00 UTC (20a) Explainable Planning and Scheduling
Session Chair: Christina Burt		 (20b) Heuristics and Heuristic Search
Session Chair: Malte Helmert
Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study (Human-Aware Planning and Scheduling Track)
Rebecca Eifler, Martim Brandao, Amanda Coles, Jeremy Frank and Joerg Hoffmann 		Learning To Estimate Search Progress Using Sequence Of States (Main Track)
Matan Sudry and Erez Karpas
Contrastive Explanations of Plans Through Model Restrictions (Journal Presentations Track)
Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore and David E. Smith 		Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search (Main Track)
Daniel Fišer, Álvaro Torralba and Joerg Hoffmann
Explaining Preference-driven Schedules: the EXPRES Framework (Human-Aware Planning and Scheduling Track)
Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni and Sarit Kraus 		Cost Partitioning Heuristics for Stochastic Shortest Path Problems (Main Track)
Thorsten Klößner, Florian Pommerening, Thomas Keller and Gabriele Röger
11:00 UTCPoster and Demo Session
13:00 UTCIndustry Panel
14:00 UTC (21a) Applications
Session Chair: Christophe Guettier		 (21b) Temporal Planning and Reinforcement Learning
Session Chair: Pradeep Varakantham
Joint Pricing and Matching for City-Scale Ride-Pooling (Industry and Applications Track)
Sanket Shah, Meghna Lowalekar and Pradeep Varakantham 		TempAMLSI: Temporal Action Model Learning based on STRIPS translation (Planning and Learning Track)
Maxence Grand, Damien Pellier and Humbert Fiorino
A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Roaming Delivery Locations (Main Track)
Quang Anh Pham, Minh Hoàng Hà, Duy Manh Vu and Huy Hoang Nguyen 		Active Grammatical Inference for Non-Markovian Planning (Planning and Learning Track)
Noah Topper, George Atia, Ashutosh Trivedi and Alvaro Velasquez
An Exact Algorithm for the Linear Tape Scheduling Problem (Main Track)
Valentin Honoré, Bertrand Simon and Frédéric Suter 		Decidability and Complexity of Action-Based Temporal Planning over Dense Time (Journal Presentations Track)
Nicola Gigante, Andrea Micheli, Angelo Montanari and Enrico Scala
15:00 UTCSocial: Puzzle Game Team Challenge
16:00 UTC (22a) Reinforcement Learning
Session Chair: Ronen Brafman		 (22b) Robotics
Session Chair: Andrea Orlandini
Task-Guided Inverse Reinforcement Learning Under Partial Information (Main Track)
Franck Djeumou, Murat Cubuktepe, Craig Lennon and Ufuk Topcu 		Lazy Rearrangement Planning in Confined Spaces (Main Track)
Rui Wang, Kai Gao, Jingjin Yu and Kostas Bekris
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning (Planning and Learning Track)
Taylor Dohmen, Noah Topper, George Atia, Andre Beckus, Ashutosh Trivedi and Alvaro Velasquez 		Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander (Industry and Applications Track)
Daniel Wang, Joseph Russino, Connor Basich and Steve Chien
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning (Journal Presentations Track)
Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano and Sheila A. McIlraith 		Euclidean Distance-Optimal Post-Processing of Grid-Based Paths (Main Track)
Guru Koushik Senthil Kumar, Sandip Aine and Maxim Likhachev
17:00 UTC (23a) Abstraction Heuristics
Session Chair: Silvan Sievers		 (23b) Reinforcement Learning
Session Chair: Hector Geffner
Merge and Shrink Abstractions for Temporal Planning (Main Track)
Martim Brandao, Amanda Coles, Andrew Coles and Joerg Hoffmann 		Beyond Value: CheckList for Testing Inferences in Planning-Based RL (Planning and Learning Track)
Kin-Ho Lam, Delyar Tabatabai, Jed Irvine, Donald Bertucci, Anita Ruangrotsakun, Minsuk Kahng and Alan Fern
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning (Main Track)
Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba and Jörg Hoffmann 		Verifiable and Compositional Reinforcement Learning Systems (Planning and Learning Track)
Cyrus Neary, Christos Verginis, Murat Cubuktepe and Ufuk Topcu
New Refinement Strategies for Cartesian Abstractions (Main Track)
David Speck and Jendrik Seipp 		Tuning the Hyperparameters of Anytime Planning: A Metareasoning Approach with Deep Reinforcement Learning (Planning and Learning Track)
Abhinav Bhatia, Justin Svegliato, Samer Nashed and Shlomo Zilberstein
18:00 UTCInvited Talk: Sidd Srinivasa
20:00 UTC (24a) Reinforcement Learning in Applications
Session Chair: Matthew Gombolay		 (24b) User Interactions and Top-Quality Planning
Session Chair: Sarath Sreedharan
Deep reinforcement learning for a multi-objective online order batching problem (Industry and Applications Track)
Martijn Beeks, Reza Refaei Afshar, Yingqian Zhang, Remco Dijkman, Claudy van Dorst and Stijn de Looijer 		Actor-focused interactive visualization for AI Planning (Human-Aware Planning and Scheduling Track)
Gabriel Cantareira, Gerard Canal and Rita Borgo
An End-to-End Automatic Cache Replacement Policy Using Deep Reinforcement Learning (Industry and Applications Track)
Yang Zhou, Wang Fang, Shi Zhan and Feng Dan 		Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria (Main Track)
Michael Katz and Shirin Sohrabi
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling (Planning and Learning Track)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein and Philipp Schrott-Kostwein 		Models of Intervention: Helping Agents and Human Users Avoid Undesirable Outcomes (Journal Presentations Track)
Sachini Weerawardhana, Mark Roberts and Darrell Whitley
21:00 UTCSocial: Get Together
22:00 UTC (25a) Heuristic Search
Session Chair: Alexander Shleyfman		 (25b) Epistemic Planning
Session Chair: Patrik Haslum
Beam Search: Faster and Monotonic (Main Track)
Sofia Lemons, Carlos Linares, Robert Holte and Wheeler Ruml 		Resolving Misconceptions about the Plans of Agents via Theory of Mind (Human-Aware Planning and Scheduling Track)
Maayan Shvo, Toryn Q. Klassen and Sheila A. McIlraith
Biased Exploration for Satisficing Heuristic Search (Main Track)
Ryo Kuroiwa and Chris Beck 		Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief (Journal Presentations Track)
Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian Pearce and Liz Sonenberg
A*pex: Approximate and Efficient Multi-Objective Search on Graphs (Main Track)
Han Zhang, Oren Salzman, T. K. Satish Kumar, Ariel Felner, Carlos Hernández Ulloa and Sven Koenig 		Knowledge-based programs as building blocks for planning (Journal Presentations Track)
Jorge A. Baier and Sheila McIlraith
23:00 UTC (26a) Heuristics
Session Chair: Masataro Asai		 (26b) Scheduling
Session Chair: Neil Yorke-Smith
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators (Planning and Learning Track)
Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Kaelbling, Shirin Sohrabi and Michael Katz 		Solving Job-Shop Scheduling Problems with QUBO-based Specialized Hardware (Main Track)
Jiachen Zhang, Giovanni Lo Bianco and Chris Beck
Admissible Heuristics for Multi-Objective Planning (Main Track)
Florian Geißer, Patrik Haslum, Sylvie Thiebaux and Felipe Trevizan 		Assignment and Prioritization Of Tasks With Uncertain Durations For Satisfying Makespans In Decentralized Execution (Main Track)
Sriram Gopalakrishnan and Daniel Borrajo
LM-Cut Heuristics for Optimal Linear Numeric Planning (Main Track)
Ryo Kuroiwa, Alexander Shleyfman and Chris Beck 		Uniform Machine Scheduling with Predictions (Main Track)
Tianming Zhao, Wei Li and Albert Zomaya
24:00 UTCPoster and Demo Session

Friday 24

7:00 UTCInvited Talk: Tim Miller
8:00 UTCSocial: Open Discussion
9:00 UTC (27a) Reformulation
Session Chair: Lukas Chrpa		 (27b) Probabilistic Planning
Session Chair: Felipe Trevizan
Compiling HTN Plan Verification Problems into HTN Planning Problems (Main Track)
Daniel Höller, Julia Wichlacz, Pascal Bercher and Gregor Behnke 		Anxiety-Sensitive Planning: From Formal Foundations to Algorithms and Applications (Human-Aware Planning and Scheduling Track)
Loïs Vanhée, Laurent Jeanpierre and Mouaddib Abdel-Illah
Optimising the Stability in Plan Repair via Compilation (Main Track)
Alessandro Saetti and Enrico Scala 		Planning for Risk-Aversion and Expected Value in MDPs (Main Track)
Marc Rigter, Paul Duckworth, Bruno Lacerda and Nick Hawes
The Power of Reformulation: PDDL+ Validation Through Planning (Main Track)
Francesco Percassi, Enrico Scala and Mauro Vallati 		Pattern Selection Strategies for Pattern Databases in Probabilistic Planning (Main Track)
Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba and Jörg Hoffmann
10:00 UTC (28a) Model-Based Reasoning in Classical Planning
Session Chair: Enrico Scala		 (28b) Temporal Planning
Session Chair: Ivan Serina
Loopless Top-k Planning (Main Track)
Julian von Tschammer, Robert Mattmüller and David Speck 		TempAMLSI: Temporal Action Model Learning based on STRIPS translation (Planning and Learning Track)
Maxence Grand, Damien Pellier and Humbert Fiorino
Encoding Lifted Classical Planning in Propositional Logic (Main Track)
Daniel Höller and Gregor Behnke 		Merge and Shrink Abstractions for Temporal Planning (Main Track)
Martim Brandao, Amanda Coles, Andrew Coles and Joerg Hoffmann
Classical Planning as QBF without Grounding (Main Track)
Irfansha Shaik and Jaco van de Pol 		Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking (Journal Presentations Track)
Josef Bajada, Maria Fox and Derek Long
11:00 UTCPoster and Demo Session
13:00 UTC (29a) Multi-Agent and Tree Search
Session Chair: Maxim Likhachev		 (29b) Motion Planning and Deep RL
Session Chair: Martim Brandao
Crossword Puzzle Resolution via Monte Carlo Tree Search (Main Track)
Lihan Chen, Jingping Liu, Sihang Jiang, Chao Wang, Jiaqing Liang, Yanghua Xiao, Sheng Zhang and Rui Song 		Conflict-Directed Diverse Planning for Logic-Geometric Programming (Main Track)
Joaquim Ortiz de Haro, Erez Karpas, Marc Toussaint and Michael Katz
Multi-Agent Path Finding with Temporal Jump Point Search (Main Track)
Shuli Hu, Daniel Harabor, Graeme Gange, Peter Stuckey and Nathan Sturtevant 		Reinforcement Learning Approach to Solve Dynamic Bi-Objective Police Patrol Dispatching and Rescheduling Problem (Industry and Applications Track)
Waldy Joe, Hoong Chuin Lau and Jonathan Pan
Multi-Agent Tree Search with Dynamic Reward Shaping (Planning and Learning Track)
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri and George Atia 		DOMA: Deep Smooth Trajectory Generation Learning for Real-time UAV Motion Planning (Planning and Learning Track)
Jin Yu, Haiyin Piao, Yaqing Hou, Li Mo, Xin Yang and Deyun Zhou
14:00 UTCCommunity Meeting
16:00 UTC (30a) Scheduling (delayed by 20min)
Session Chair: Andrea Micheli		 (30b) Heuristics in Classical Planning (delayed by 20min)
Session Chair: Masataro Asai
Simple Temporal Networks for Improvisational Teamwork (Main Track)
Malia Morgan, Julianna Schalkwyk, Huaxiaoyue Wang, Hannah Davalos, Ryan Martinez, Vibha Rohilla and James Boerkoel 		Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators (Planning and Learning Track)
Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Kaelbling, Shirin Sohrabi and Michael Katz
Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics (Industry and Applications Track)
Geert Leonardus Johannes Pingen, Christian Rijk van Ommeren, Cornelis Jan van Leeuwen, Ruben Fransen, Tijmen Elfrink, Yorick Christiaan de Vries, Janarthanan Karunakaran, Emir Demirović and Neil Yorke-Smith 		Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods (Planning and Learning Track)
Patrick Ferber, Florian Geißer, Felipe Trevizan, Malte Helmert and Joerg Hoffmann
Assignment and Prioritization Of Tasks With Uncertain Durations For Satisfying Makespans In Decentralized Execution (Main Track)
Sriram Gopalakrishnan and Daniel Borrajo 		On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond (Main Track)
Malte Helmert, Silvan Sievers, Alexander Rovner and Augusto B. Corrêa
17:00 UTC (31a) User Interfaces for Explainable Planning (delayed by 20min)
Session Chair: Christabel Wayllace		 (31b) Scheduling (delayed by 20min)
Session Chair: Christophe Guettier
VizXP: A Visualization Framework for Conveying Explanations to Users in Model Reconciliation Problems (Human-Aware Planning and Scheduling Track)
Ashwin Kumar, Stylianos Loukas Vasileiou, Melanie Bancilhon, Alvitta Ottley and William Yeoh 		Solving Job-Shop Scheduling Problems with QUBO-based Specialized Hardware (Main Track)
Jiachen Zhang, Giovanni Lo Bianco and Chris Beck
Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study (Human-Aware Planning and Scheduling Track)
Rebecca Eifler, Martim Brandao, Amanda Coles, Jeremy Frank and Joerg Hoffmann 		Building resource-dependent conditional plans for an Earth monitoring satellite (Industry and Applications Track)
Cédric Pralet, David Doose, Julien Anxionnat and Jérémie Pouly
Actor-focused interactive visualization for AI Planning (Human-Aware Planning and Scheduling Track)
Gabriel Cantareira, Gerard Canal and Rita Borgo 		Hyper-heuristics for Personnel Scheduling Domains (Industry and Applications Track)
Lucas Kletzander and Nysret Musliu
RADAR-X: An Interactive Mixed Initiative Planning Interface Pairing Contrastive Explanations and Revised Plan Suggestions (Industry and Applications Track)
Karthik Valmeekam, Sarath Sreedharan, Sailik Sengupta and Subbarao Kambhampati 		Planning Satellite Swarm Measurements for Earth Science Models: Comparing Constraint Processing and MILP methods (Industry and Applications Track)
Richard Levinson, Samantha Niemoeller, Sreeja Nag and Vinay Ravindra
Contrastive Explanations of Plans Through Model Restrictions (Journal Presentations Track)
Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore and David E. Smith 		Optimisation of Annual Planned Rail Maintenance (Journal Presentations Track)
Menno Oudshoorn, Timo Koppenberg and Neil Yorke-Smith
19:00 UTCClosing and Final Get Together