Main Track
| A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning | |
| Meysam Aghighi, Christer Backstrom |
| Search Portfolio with Sharing | |
| Sandip Aine, Maxim Likhachev |
| Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems | |
| Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha |
| OGA-UCT: On-the-Go Abstractions in UCT | |
| Ankit Anand, Ritesh Noothigattu, Mausam ., Parag Singla |
| Change the Plan — How Hard Can That Be? | |
| Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo |
| Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking | |
| Sara Bernardini, Maria Fox, Derek Long, Chiara Piancentini |
| A Semantic Notion of Interference for Planning Modulo Theories | |
| Miquel Bofill, Joan Espasa, Mateu Villaret |
| From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends | |
| Alberto Camacho, Christian Muise, Sheila A. McIlraith |
| Online Algorithms for the Linear Tape Scheduling Problem | |
| Carlos Cardonha, Lucas C. Villa Real |
| A Compilation of the Full PDDL+ Language into SMT | |
| Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni |
| Indefinite-Horizon Reachability in Goal-DEC-POMDPs | |
| Krishnendu Chatterjee, Martin Chmelík |
| Have I Been Here Before? State Memoization in Temporal Planning | |
| Amanda Jane Coles, Andrew Ian Coles |
| Practical Undoability Checking via Contingent Planning | |
| Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber |
| Bayesian Optimization with Resource Constraints and Production | |
| Nima Dolatnia, Alan Fern, Xiaoli Fern |
| Robust Partial Order Schedules for RCPSP/max with Durational Uncertainty | |
| Na Fu, Pradeep Varakantham, Hoong Chuin Lau |
| Placement of Loading Stations for Electric Vehicles: Allowing Small Detours | |
| Stefan Funke, Andre Nusser, Sabine Storandt |
| Abstractions for Planning with State-Dependent Action Costs | |
| Florian Geißer, Thomas Keller, Robert Mattmüller |
| Domain Model Acquisition in Domains with Action Costs | |
| Peter Gregory, Alan Lindsay |
| Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages | |
| Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo |
| Multi-Agent Sensor Data Collection with Attrition Risk | |
| Jeffrey Hudack, Jae C. Oh |
| Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times | |
| Luke Hunsberger, Roberto Posenato |
| Automated Creation of Efficient Work Distribution Functions for Parallel Best-First Search | |
| Yuu Jinnai, Alex Fukunaga |
| Hierarchical Linearly-Solvable Markov Decision Problems | |
| Anders Jonsson, Vicenç Gómez |
| Dual Formulations for Optimizing Dec-POMDP Controllers | |
| Akshat Kumar, Hala Mostafa, Shlomo Zilberstein |
| Traps, Invariants, and Dead-Ends | |
| Nir Lipovetzky, Christian Muise, Hector Geffner |
| Online Macro Generation for Privacy Preserving Planning | |
| Shlomi Maliah, Guy Shani, Ronen I. Brafman |
| Stronger Privacy Preserving Projections for Multi-Agent Planning | |
| Shlomi Maliah, Guy Shani, Roni Stern |
| Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty | |
| Liana Marinescu, Andrew Ian Coles |
| Learning Relational Dynamics of Stochastic Domains for Planning | |
| David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue |
| The Mathematics of Dispatchability Revisited | |
| Paul Henry Morris |
| Strict Theta*: Shorter Motion Path Planning Using Taut Paths | |
| Shunhao Oh, Hon Wai Leong |
| Efficient Representation of Pattern Databases Using Acyclic Random Hypergraphs | |
| Mehdi Sadeqi, Howard J. Hamilton |
| PARIS: A Polynomial-Time, Risk-Sensitive Scheduling Algorithm for Probabilistic Simple Temporal Networks with Uncertainty | |
| Pedro Santana, Tiago Vaquero, Cláudio Toledo, Andrew Wang, Cheng Fang, Brian Williams |
| Numeric Planning with Disjunctive Global Constraints via SMT | |
| Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiebaux |
| Generalized Planning with Procedural Domain Control Knowledge | |
| Javier Segovia Aguas, Sergio Jimenez Celorrio, Anders Jonsson |
| An Analysis of Merge Strategies for Merge-and-Shrink Heuristics | |
| Silvan Sievers, Martin Wehrle, Malte Helmert |
| Revisiting Goal Probability Analysis in Probabilistic Planning | |
| Marcel Steinmetz, Joerg Hoffmann, Olivier Buffet |
| Potential Heuristics for Multi-Agent Planning | |
| Michal Štolba, Daniel Fišer, Antonín Komenda |
| Recursive Polynomial Reductions for Classical Planning | |
| Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonin Komenda |
| Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems | |
| Felipe Trevizan, Sylvie Thiébaux, Pedro Santana, Brian Williams |
| A Formal Analysis of Required Cooperation in Multi-Agent Planning | |
| Yu Zhang, Sarath Sreedharan, Subbarao Kambhampati |
Novel Applications Track
| Optimal Scheduling of a Constellation of Earth-Imaging Satellites, for Maximal Data Throughput and Efficient Human Management | |
| Sean Augenstein, Alejandra Estanislao, Emmanuel Guere, Sean Blaes |
| Planning Curtailment of Renewable Generation in Power Grids | |
| Sambaran Bandyopadhyay, Pratyush Kumar, Vijay Arya |
| A Planning-Based Architecture for a Reconfigurable Manufacturing System | |
| Stefano Borgo, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico |
| Computing Trace Alignment against Declarative Process Models through Planning | |
| Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardina |
| Scheduling Ocean Color Observations for a GEO-Stationary Satellite | |
| Jeremy Frank, Minh Do, Tony Tran |
| Strategic Planning for Setting Up Base Stations in Emergency Medical Systems | |
| Supriyo Ghosh, Pradeep Varakantham |
| Cell Design and Routing of Jobs in a Multisite Make-to-Order Enterprise | |
| Manoj Gupta, R. P. Jagadeesh Chandra Bose, Partha Dutta |
| More Shuttles, Less Cost: Energy Efficient Planning for Scalable High-Density Warehouse Environments | |
| Christian Hütter |
| Towards Next Generation Touring: Personalized Group Tours | |
| Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera |
| Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions | |
| Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris Dent |
| Planning and Control of Marine Floats in the Presence of Dynamic, Uncertain Currents | |
| Martina Troesch, Steve Chien, Yi Chao, John Farrara |
Robotics Track
| Integrating Planning and Control for Efficient Path Planning in the Presence of Environmental Disturbances | |
| Sandip Aine, P. B. Sujit |
| Path Planning under Interface-Based Constraints for Assistive Robotics | |
| Alexander Broad, Brenna Argall |
| A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors | |
| Christopher M. Dellin, Siddhartha S. Srinivasa |
| Real-Time Stochastic Optimal Control for Multi-Agent Quadrotor Systems | |
| Vicenç Gómez, Sep Thijssen, Andrew Symington, Stephen Hailes, Hilbert J Kappen |
| Multi-Agent Path Finding with Kinematic Constraints | |
| Wolfgang Hoenig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig |
| A Practical Framework for Robust Decision-Theoretic Planning and Execution for Service Robots | |
| Luca Iocchi, Laurent Jeanpierre, Maria Teresa Lazaro, Abdel-Illah Mouaddib |
| Evaluation of Auction-Based Multi-Robot Routing by Parallel Simulation | |
| Akihiro Kishimoto, Kiyohito Nagano |
| Online Learning of Robot Soccer Free Kick Plans Using a Bandit Approach | |
| Juan Pablo Mendoza, Reid Simmons, Manuela Veloso |
| Experience-Based Robot Task Learning and Planning with Goal Inference | |
| Vahid Mokhtari, Luis Seabra Lopes, Armando J. Pinho |
| Robot Motion Planning for Pouring Liquids | |
| Zherong Pan, Chonhyon Park, Dinesh Manocha |
| Speeding Up A* Search on Visibility Graphs Defined Over Quadtrees to Enable Long Distance Path Planning for Unmanned Surface Vehicles | |
| Brual C. Shah, Satyandra K. Gupta |
| Task and Motion Policy Synthesis as Liveness Games | |
| Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki |