ICAPS-2022 Accepted Papers

Erez Karpas. A Compilation Based Approach to Finding Centroids and Minimum Covering States in Planning

Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo and Kaile Su. Generalized Linear Integer Numeric Planning

Loïs Vanhée, Laurent Jeanpierre and Mouaddib Abdel-Illah. Anxiety-Sensitive Planning: From Formal Foundations to Algorithms and Applications

Matan Sudry and Erez Karpas. Learning To Estimate Search Progress Using Sequence Of States

Daniel Höller, Julia Wichlacz, Pascal Bercher and Gregor Behnke. Compiling HTN Plan Verification Problems into HTN Planning Problems

Joaquim Ortiz de Haro, Erez Karpas, Marc Toussaint and Michael Katz. Conflict-Directed Diverse Planning for Logic-Geometric Programming

Julian von Tschammer, Robert Mattmüller and David Speck. Loopless Top-k Planning

Malia Morgan, Julianna Schalkwyk, Huaxiaoyue Wang, Hannah Davalos, Ryan Martinez, Vibha Rohilla and James Boerkoel. Simple Temporal Networks for Improvisational Teamwork

Kin-Ho Lam, Delyar Tabatabai, Jed Irvine, Donald Bertucci, Anita Ruangrotsakun, Minsuk Kahng and Alan Fern. Beyond Value: CheckList for Testing Inferences in Planning-Based RL

Keisuke Okumura and Xavier Defago. Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution

Marcel Vinzent, Marcel Steinmetz and Jörg Hoffmann. Neural Network Action Policy Verification via Predicate Abstraction

Songtuan Lin and Pascal Bercher. On the Expressive Power of Planning Formalisms in Conjunction with LTL

Martijn Beeks, Reza Refaei Afshar, Yingqian Zhang, Remco Dijkman, Claudy van Dorst and Stijn de Looijer. Deep reinforcement learning for a multi-objective online order batching problem

Sofia Lemons, Carlos Linares, Robert Holte and Wheeler Ruml. Beam Search: Faster and Monotonic

Daniel Höller and Gregor Behnke. Encoding Lifted Classical Planning in Propositional Logic

Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Kaelbling, Shirin Sohrabi and Michael Katz. Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators

Marc Rigter, Paul Duckworth, Bruno Lacerda and Nick Hawes. Planning for Risk-Aversion and Expected Value in MDPs

Irfansha Shaik and Jaco van de Pol. Classical Planning as QBF without Grounding

Michael Katz and Shirin Sohrabi. Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria

Benjamin Ayton and Masataro Asai. Width-Based Planning and Active Learning for Atari

Tianming Zhao, Wei Li and Albert Zomaya. Uniform Machine Scheduling with Predictions

Rostislav Horčík, Alvaro Torralba, Pavel Rytíř, Lukáš Chrpa and Stefan Edelkamp. Optimal Mixed Strategies for Cost-Adversarial Planning Games

Sara Bernardini, Fabio Fagnani, Santiago Franco and Alexandra Neacsu. A Network Flow Interpretation of Robust Goal Legibility in Path Finding

Maxence Grand, Damien Pellier and Humbert Fiorino. TempAMLSI: Temporal Action Model Learning based on STRIPS translation

Aakash Aakash and Indranil Saha. It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems

Ashwin Kumar, Stylianos Loukas Vasileiou, Melanie Bancilhon, Alvitta Ottley and William Yeoh. VizXP: A Visualization Framework for Conveying Explanations to Users in Model Reconciliation Problems

Yang Zhou, Wang Fang, Shi Zhan and Feng Dan. An End-to-End Automatic Cache Replacement Policy Using Deep Reinforcement Learning

Bojie Shen, Muhammad Aamir Cheema, Daniel D. Harabor and Peter J. Stuckey. Improving Time-dependent Contraction Hierarchies

Patrick Ferber, Florian Geißer, Felipe Trevizan, Malte Helmert and Joerg Hoffmann. Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods

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. Debugging a Policy: Automatic Action-Policy Testing in AI Planning

Martim Brandao, Amanda Coles, Andrew Coles and Joerg Hoffmann. Merge and Shrink Abstractions for Temporal Planning

Simon Ståhlberg, Blai Bonet and Hector Geffner. Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits

Lihan Chen, Jingping Liu, Sihang Jiang, Chao Wang, Jiaqing Liang, Yanghua Xiao, Sheng Zhang and Rui Song. Crossword Puzzle Resolution via Monte Carlo Tree Search

Rebecca Eifler, Martim Brandao, Amanda Coles, Jeremy Frank and Joerg Hoffmann. Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study

Augusto B. Corrêa and Jendrik Seipp. Best-First Width Search for Lifted Classical Planning

Sanket Shah, Meghna Lowalekar and Pradeep Varakantham. Joint Pricing and Matching for City-Scale Ride-Pooling

Malte Helmert, Silvan Sievers, Alexander Rovner and Augusto B. Corrêa. On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond

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. Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics

Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba and Jörg Hoffmann. Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

Maayan Shvo, Toryn Q. Klassen and Sheila A. McIlraith. Resolving Misconceptions about the Plans of Agents via Theory of Mind

Cyrus Neary, Christos Verginis, Murat Cubuktepe and Ufuk Topcu. Verifiable and Compositional Reinforcement Learning Systems

Jakub Med and Lukas Chrpa. On Speeding up Methods for Identifying Redundant Actions in Plans

Waldy Joe, Hoong Chuin Lau and Jonathan Pan. Reinforcement Learning Approach to Solve Dynamic Bi-Objective Police Patrol Dispatching and Rescheduling Problem

Justin Kottinger, Shaull Almagor and Morteza Lahijanian. Conflict-Based Search for Explainable Multi-Agent Path Finding

Franck Djeumou, Murat Cubuktepe, Craig Lennon and Ufuk Topcu. Task-Guided Inverse Reinforcement Learning Under Partial Information

Jingqing Ruan, Linghui Meng, Xuantang Xiong, Dengpeng Xing and Bo Xu. Learning Multi-agent Action Coordination via Electing First-move Agent

Shuli Hu, Daniel Harabor, Graeme Gange, Peter Stuckey and Nathan Sturtevant. Multi-Agent Path Finding with Temporal Jump Point Search

Jiachen Zhang, Giovanni Lo Bianco and Chris Beck. Solving Job-Shop Scheduling Problems with QUBO-based Specialized Hardware

Zheyuan Wang and Matthew Gombolay. Stochastic Resource Optimization over Heterogeneous Graph Neural Networks for Failure-Predictive Maintenance Scheduling

Jin Yu, Haiyin Piao, Yaqing Hou, Li Mo, Xin Yang and Deyun Zhou. DOMA: Deep Smooth Trajectory Generation Learning for Real-time UAV Motion Planning

Florian Geißer, Patrik Haslum, Sylvie Thiebaux and Felipe Trevizan. Admissible Heuristics for Multi-Objective Planning

Daniel Gnad, Álvaro Torralba and Daniel Fišer. Beyond Stars - Generalized Topologies for Decoupled Search

Dillon Chen and Pascal Bercher. Flexible FOND HTN planning: A Complexity Analysis

Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni and Sarit Kraus. Explaining Preference-driven Schedules: the EXPRES Framework

Masood Feyzbakhsh Rankooh and Jussi Rintanen. Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

Cédric Pralet, David Doose, Julien Anxionnat and Jérémie Pouly. Building resource-dependent conditional plans for an Earth monitoring satellite

Quang Anh Pham, Minh Hoàng Hà, Duy Manh Vu and Huy Hoang Nguyen. A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Roaming Delivery Locations

Daniel Fišer, Álvaro Torralba and Joerg Hoffmann. Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

Lucas Kletzander and Nysret Musliu. Hyper-heuristics for Personnel Scheduling Domain

Remo Christen, Salomé Eriksson, Florian Pommerening and Malte Helmert. Detecting Unsolvability Based on Separating Functions

Simon Bøgh, Peter G. Jensen, Martin Kristjansen, Kim G. Larsen and Ulrik Nyman. Distributed Fleet Management in Noisy Environments via Model-Predictive Control

Taylor Dohmen, Noah Topper, George Atia, Andre Beckus, Ashutosh Trivedi and Alvaro Velasquez. Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning

Ryo Kuroiwa, Alexander Shleyfman and Chris Beck. LM-Cut Heuristics for Optimal Linear Numeric Planning

Jonathan Chase, Siong Thye Goh, Phong Tran and Hoong Chuin Lau. OFFICERS: Operational Framework For Intelligent Crime-and-Emergency Response Scheduling

David Speck and Jendrik Seipp. New Refinement Strategies for Cartesian Abstractions

Ryo Kuroiwa and Chris Beck. Biased Exploration for Satisficing Heuristic Search

Alessandro Saetti and Enrico Scala. Optimising the Stability in Plan Repair via Compilation

Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein and Philipp Schrott-Kostwein. Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling

Valentin Honoré, Bertrand Simon and Frédéric Suter. An Exact Algorithm for the Linear Tape Scheduling Problem

Thorsten Klößner, Florian Pommerening, Thomas Keller and Gabriele Röger. Cost Partitioning Heuristics for Stochastic Shortest Path Problems

Gabriel Cantareira, Gerard Canal and Rita Borgo. Actor-focused interactive visualization for AI Planning

Dominik Drexler, Jendrik Seipp and Hector Geffner. Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width

Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa and Giuseppe De Giacomo. Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Sriram Gopalakrishnan and Daniel Borrajo. Assignment and Prioritization Of Tasks With Uncertain Durations For Satisfying Makespans In Decentralized Execution

Francesco Percassi, Enrico Scala and Mauro Vallati. The Power of Reformulation: PDDL+ Validation Through Planning

Abhinav Bhatia, Justin Svegliato, Samer Nashed and Shlomo Zilberstein. Tuning the Hyperparameters of Anytime Planning: A Metareasoning Approach with Deep Reinforcement Learning

Rui Wang, Kai Gao, Jingjin Yu and Kostas Bekris. Lazy Rearrangement Planning in Confined Spaces

Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri and George Atia. Multi-Agent Tree Search with Dynamic Reward Shaping

Yi Zheng, Srivatsan Ravi, Erik Kline, Sven Koenig and T. K. Satish Kumar. Conflict-Based Search for the Virtual Network Embedding Problem

Noah Topper, George Atia, Ashutosh Trivedi and Alvaro Velasquez. Active Grammatical Inference for Non-Markovian Planning

Karthik Valmeekam, Sarath Sreedharan, Sailik Sengupta and Subbarao Kambhampati. RADAR-X: An Interactive Mixed Initiative Planning Interface Pairing Contrastive Explanations and Revised Plan Suggestions

Daniel Wang, Joseph Russino, Connor Basich and Steve Chien. Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander

Guru Koushik Senthil Kumar, Sandip Aine and Maxim Likhachev. Euclidean Distance-Optimal Post-Processing of Grid-Based Paths

Han Zhang, Oren Salzman, T. K. Satish Kumar, Ariel Felner, Carlos Hernández Ulloa and Sven Koenig. A*pex: Approximate and Efficient Multi-Objective Search on Graphs

Richard Levinson, Samantha Niemoeller, Sreeja Nag and Vinay Ravindra. Planning Satellite Swarm Measurements for Earth Science Models: Comparing Constraint Processing and MILP methods

Journal Presentation Track Papers

Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian Pearce and Liz Sonenberg. Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief

Menno Oudshoorn, Timo Koppenberg and Neil Yorke-Smith. Optimisation of Annual Planned Rail Maintenance

Charlie Street, Sebastian Pütz, Manuel Mühlig, Nick Hawes and Bruno Lacerda. Congestion-Aware Policy Synthesis for Multirobot Systems

Josef Bajada, Maria Fox and Derek Long. Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking

Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore and David E. Smith. Contrastive Explanations of Plans Through Model Restrictions

Nicola Gigante, Andrea Micheli, Angelo Montanari and Enrico Scala. Decidability and Complexity of Action-Based Temporal Planning over Dense Time

Sachini Weerawardhana, Mark Roberts and Darrell Whitley. Models of Intervention: Helping Agents and Human Users Avoid Undesirable Outcomes

Silvan Sievers and Malte Helmert. Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems

Jorge A. Baier and Sheila McIlraith. Knowledge-based programs as building blocks for planning

Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano and Sheila A. McIlraith. Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning