Main Technical Track
Validation of Hierarchical Plans via Parsing of Attribute Grammars | |
Roman Bartak, Adrien Maillard, Rafael Cauê Cardoso |
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 |
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 |
The Provable Virtue of Laziness in Motion Planning | |
Nika Haghtalab, Simon Mackenzie, Ariel D. Procaccia, Oren Salzman, Siddhartha S. Srinivasa |
Value Driven Landmarks for Oversubscription Planning | |
Daniel Muller, Erez Karpas |
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams | |
David Speck, Florian Geißer, Robert Mattmüller |
Novel Applications Track
Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning | |
Massimiliano de Leoni, Giacomo Lanciano, Andrea Marrella |
Footprint Placement for Mosaic Imaging by Sampling and Optimization | |
Scott A. Mitchell, Christopher G. Valicka, Stephen Rowe, Simon X. Zou |
Operations Research Track
Bounded Rank Optimization for Effective and Efficient Emergency Response | |
Pallavi Manohar, Pradeep Varakantham, Hoong Chuin Lau |
Robotics Track
Monte-Carlo Planning for Agile Legged Locomotion | |
Patrick Clary, Pedro Morais, Alan Fern, Jonathan Hurst |
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 |