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 |