Main Technical Track
| A TIL-Relaxed Heuristic for Planning with Time Windows | |
| Tony Allard, Charles Gretton, Patrik Haslum |
| Validation of Hierarchical Plans via Parsing of Attribute Grammars | |
| Roman Bartak, Adrien Maillard, Rafael Cauê Cardoso |
| Scalability of Route Planning Techniques | |
| Johannes Blum, Sabine Storandt |
| Finite LTL Synthesis as Planning | |
| Alberto Camacho, Jorge A. Baier, Christian Muise, Sheila A. McIlraith |
| Temporal Planning while the Clock Ticks | |
| Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml |
| Sensor Synthesis for POMDPs with Reachability Objectives | |
| Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu |
| Algorithms and Conditional Lower Bounds for Planning Problems | |
| Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil |
| A Proof System for Unsolvable Planning Tasks | |
| Salomé Eriksson, Gabriele Röger, Malte Helmert |
| MS-Lite: A Lightweight, Complementary Merge-and-Shrink Method | |
| Gaojian Fan, Robert Holte, Martin Mueller |
| Adding Heuristics to Conflict-Based Search for Multi-Agent Path Finding | |
| Ariel Felner, Jiaoyang Li, Eli Boyarski, Hang Ma, Liron Cohen, T. K. Satish Kumar, Sven Koenig |
| Compact Policies for Fully Observable Non-Deterministic Planning as SAT | |
| Tomas Geffner, Hector Geffner |
| Sampling Strategies for Conformant Planning | |
| Alban Grastien, Enrico Scala |
| The Provable Virtue of Laziness in Motion Planning | |
| Nika Haghtalab, Simon Mackenzie, Ariel D. Procaccia, Oren Salzman, Siddhartha S. Srinivasa |
| A Generic Method to Guide HTN Progression Search with Classical Heuristics | |
| Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo |
| New Perspectives on Flexibility in Simple Temporal Planning | |
| Amy Huang, Liam Lloyd, Mohamed Omar, James C. Boerkoel |
| A Novel Iterative Approach to Top-k Planning | |
| Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer |
| Strong Stubborn Sets for Efficient Goal Recognition Design | |
| Sarah Keren, Avigdor Gal, Erez Karpas |
| Compiling Probabilistic Model Checking into Probabilistic Planning | |
| Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns |
| Batch Random Walk for GPU-Based Classical Planning | |
| Ryo Kuroiwa, Alex Fukunaga |
| EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains | |
| Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli |
| Value Driven Landmarks for Oversubscription Planning | |
| Daniel Muller, Erez Karpas |
| Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters | |
| Mikael Nilsson, Jonas Kvarnström, Patrick Doherty |
| Planning for Partial Observability by SAT and Graph Constraints | |
| Binda Pandey, Jussi Rintanen |
| Local Search for Flowshops with Setup Times and Blocking Constraints | |
| Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar |
| Symmetry-Based Task Reduction for Relaxed Reachability Analysis | |
| Gabriele Röger, Silvan Sievers, Michael Katz |
| Bootstrapping LPs in Value Iteration for Multi-Objective and Partially Observable MDPs | |
| Diederik M. Roijers, Erwin Walraven, Matthijs T. J. Spaan |
| Two-Oracle Optimal Path Planning on Grid Maps | |
| Matteo Salvetti, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti |
| Representing and Planning with Interacting Actions and Privacy | |
| Shashank Shekhar, Ronen I. Brafman |
| Simulated Penetration Testing as Contingent Planning | |
| Dorin Shmaryahu, Guy Shani, Joerg Hoffmann, Marcel Steinmetz |
| Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams | |
| David Speck, Florian Geißer, Robert Mattmüller |
| Online Algorithms for POMDPs with Continuous State, Action, and Observation Spaces | |
| Zachary N. Sunberg, Mykel J. Kochenderfer |
| Integrating Resource Management and Timeline-Based Planning | |
| Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini |
| An On-Line Planner for POMDPs with Large Discrete Action Space: A Quantile-Based Approach | |
| Erli Wang, Hanna Kurniawati, Dirk P. Kroese |
| Plan Relaxation via Action Debinding and Deordering | |
| Max Waters, Bernhard Nebel, Lin Padgham, Sebastian Sardina |
| On Stubborn Sets and Planning with Resources | |
| Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann |
Novel Applications Track
| A Hybrid Genetic Algorithm for Parallel Machine Scheduling at Semiconductor Back-End Production | |
| Jelle Adan, Ivo Adan, Alp Akcay, Rick Van den Dobbelsteen, Joep Stokkermans |
| CHAP-E: A Plan Execution Assistant for Pilots | |
| J. Benton, David Smith, John Kaneshige, Leslie Keely, Thomas Stucky |
| Embedding a Scheduler in Execution for a Planetary Rover | |
| Wayne Chi, Steve Chien, Jagriti Agrawal, Gregg Rabideau, Edward Benowitz, Daniel Gaines, Elyse Fosse, Stephen Kuhn, James Biehl |
| Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning | |
| Massimiliano de Leoni, Giacomo Lanciano, Andrea Marrella |
| Reserved Optimisation: Handling Incident Priorities in Emergency Response Systems | |
| Muralidhar Konda, Supriyo Ghosh, Pradeep Varakantham |
| Footprint Placement for Mosaic Imaging by Sampling and Optimization | |
| Scott A. Mitchell, Christopher G. Valicka, Stephen Rowe, Simon X. Zou |
| A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing | |
| Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay |
| Route Planning with Breaks and Truck Driving Bans Using Time-Dependent Contraction Hierarchies | |
| Marieke S. van der Tuin, Mathijs de Weerdt, G. Veit Batz |
Operations Research Track
| Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation | |
| Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Rieffel, Davide Venturelli, Jeremy Frank |
| Bounded Rank Optimization for Effective and Efficient Emergency Response | |
| Pallavi Manohar, Pradeep Varakantham, Hoong Chuin Lau |
| Compiling Optimal Numeric Planning to Mixed Integer Linear Programming | |
| Chiara Piacentini, Margarita P. Castro, Andre A. Cire, J. Christopher Beck |
| The Integrated Last-Mile Transportation Problem (ILMTP) | |
| Arvind U. Raghunathan, David Bergman, John Hooker, Thiago Serra, Shingo Kobori |
Planning and Learning Track
| Learning STRIPS Action Models with Classical Planning | |
| Diego Aineto, Sergio Jiménez, Eva Onaindia |
| Learning Generalized Reactive Policies Using Deep Neural Networks | |
| Edward Groshev, Maxwell Goldstein, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel |
| An Approximate Bayesian Reinforcement Learning Approach Using Robust Control Policy and Tree Search | |
| Toru Hishinuma, Kei Senda |
| Training Deep Reactive Policies for Probabilistic Planning Problems | |
| Murugeswari Issakkimuthu, Alan Fern, Prasad Tadepalli |
| A General Approach for Configuring PDDL Problem Models | |
| Mauro Vallati, Ivan Serina |
Robotics Track
| A Local Search Approach to Observation Planning with Multiple UAVs | |
| Arthur Bit-Monnot, Rafael Bailon-Ruiz, Simon Lacroix |
| Monte-Carlo Planning for Agile Legged Locomotion | |
| Patrick Clary, Pedro Morais, Alan Fern, Jonathan Hurst |
| Minimizing Movement to Establish the Connectivity of Randomly Deployed Robots | |
| K. Selim Engin, Volkan Isler |
| Planning Robust Manual Tasks in Hierarchical Belief Spaces | |
| Michael W. Lanighan, Takeshi Takahashi, Roderic A. Grupen |
| RMPD — A Recursive Mid-Point Displacement Algorithm for Path Planning | |
| Fangda Li, Ankit V. Manerikar, Avinash C. Kak |
| Lazy Receding Horizon A* for Efficient Path Planning in Graphs with Expensive-to-Evaluate Edges | |
| Aditya Mandalika, Oren Salzman, Siddhartha Srinivasa |
| A Loosely-Coupled Approach for Multi-Robot Coordination, Motion Planning and Control | |
| Federico Pecora, Henrik Andreasson, Masoumeh Mansouri, Vilian Petkov |
| AD*-Cut: A Search-Tree Cutting Anytime Dynamic A* Algorithm | |
| Maciej Przybylski |
| Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance | |
| Vinitha Ranganeni, Oren Salzman, Maxim Likhachev |
| ASP-Based Time-Bounded Planning for Logistics Robots | |
| Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub |
| Handling Model Uncertainty and Multiplicity in Explanations via Model Reconciliation | |
| Sarath Sreedharan, Tathagata Chakraborti, Subbarao Kambhampati |
| The Factored Shortest Path Problem and Its Applications in Robotics | |
| Zhi Wang, Liron Cohen, Sven Koenig, T. K. Satish Kumar |
| A Log-Approximation for Coverage Path Planning with the Energy Constraint | |
| Minghan Wei, Volkan Isler |