Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling
Edited by Amanda Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner
London, UK, June 12–17, 2016.
Published by The AAAI Press, Palo Alto, California.
This proceedings is also available in book format.
Main Track
A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning / 2
Meysam Aghighi, Christer Backstrom
Search Portfolio with Sharing / 11
Sandip Aine, Maxim Likhachev
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems / 20
Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
OGA-UCT: On-the-Go Abstractions in UCT / 29
Ankit Anand, Ritesh Noothigattu, Mausam ., Parag Singla
Change the Plan — How Hard Can That Be? / 38
Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking / 47
Sara Bernardini, Maria Fox, Derek Long, Chiara Piancentini
A Semantic Notion of Interference for Planning Modulo Theories / 56
Miquel Bofill, Joan Espasa, Mateu Villaret
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends / 65
Alberto Camacho, Christian Muise, Sheila A. McIlraith
Online Algorithms for the Linear Tape Scheduling Problem / 70
Carlos Cardonha, Lucas C. Villa Real
A Compilation of the Full PDDL+ Language into SMT / 79
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
Indefinite-Horizon Reachability in Goal-DEC-POMDPs / 88
Krishnendu Chatterjee, Martin Chmelík
Have I Been Here Before? State Memoization in Temporal Planning / 97
Amanda Jane Coles, Andrew Ian Coles
Practical Undoability Checking via Contingent Planning / 106
Jeanette Daum, álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber
Bayesian Optimization with Resource Constraints and Production / 115
Nima Dolatnia, Alan Fern, Xiaoli Fern
Robust Partial Order Schedules for RCPSP/max with Durational Uncertainty / 124
Na Fu, Pradeep Varakantham, Hoong Chuin Lau
Placement of Loading Stations for Electric Vehicles: Allowing Small Detours / 131
Stefan Funke, Andre Nusser, Sabine Storandt
Abstractions for Planning with State-Dependent Action Costs / 140
Florian Geißer, Thomas Keller, Robert Mattmüller
Domain Model Acquisition in Domains with Action Costs / 149
Peter Gregory, Alan Lindsay
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages / 158
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Multi-Agent Sensor Data Collection with Attrition Risk / 166
Jeffrey Hudack, Jae C. Oh
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times / 175
Luke Hunsberger, Roberto Posenato
Automated Creation of Efficient Work Distribution Functions for Parallel Best-First Search / 184
Yuu Jinnai, Alex Fukunaga
Hierarchical Linearly-Solvable Markov Decision Problems / 193
Anders Jonsson, Vicenç Gómez
Dual Formulations for Optimizing Dec-POMDP Controllers / 202
Akshat Kumar, Hala Mostafa, Shlomo Zilberstein
Traps, Invariants, and Dead-Ends / 211
Nir Lipovetzky, Christian Muise, Hector Geffner
Online Macro Generation for Privacy Preserving Planning / 216
Shlomi Maliah, Guy Shani, Ronen I. Brafman
Stronger Privacy Preserving Projections for Multi-Agent Planning / 221
Shlomi Maliah, Guy Shani, Roni Stern
Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty / 230
Liana Marinescu, Andrew Ian Coles
Learning Relational Dynamics of Stochastic Domains for Planning / 235
David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue
The Mathematics of Dispatchability Revisited / 244
Paul Henry Morris
Strict Theta*: Shorter Motion Path Planning Using Taut Paths / 253
Shunhao Oh, Hon Wai Leong
Efficient Representation of Pattern Databases Using Acyclic Random Hypergraphs / 258
Mehdi Sadeqi, Howard J. Hamilton
PARIS: A Polynomial-Time, Risk-Sensitive Scheduling Algorithm for Probabilistic Simple Temporal Networks with Uncertainty / 267
Pedro Santana, Tiago Vaquero, Cláudio Toledo, Andrew Wang, Cheng Fang, Brian Williams
Numeric Planning with Disjunctive Global Constraints via SMT / 276
Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiebaux
Generalized Planning with Procedural Domain Control Knowledge / 285
Javier Segovia Aguas, Sergio Jimenez Celorrio, Anders Jonsson
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics / 294
Silvan Sievers, Martin Wehrle, Malte Helmert
Revisiting Goal Probability Analysis in Probabilistic Planning / 299
Marcel Steinmetz, Joerg Hoffmann, Olivier Buffet
Potential Heuristics for Multi-Agent Planning / 308
Michal Štolba, Daniel Fišer, Antonín Komenda
Recursive Polynomial Reductions for Classical Planning / 317
Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonin Komenda
Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems / 326
Felipe Trevizan, Sylvie Thiébaux, Pedro Santana, Brian Williams
A Formal Analysis of Required Cooperation in Multi-Agent Planning / 335
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 / 345
Sean Augenstein, Alejandra Estanislao, Emmanuel Guere, Sean Blaes
Planning Curtailment of Renewable Generation in Power Grids / 353
Sambaran Bandyopadhyay, Pratyush Kumar, Vijay Arya
A Planning-Based Architecture for a Reconfigurable Manufacturing System / 358
Stefano Borgo, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico
Computing Trace Alignment against Declarative Process Models through Planning / 367
Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardina
Scheduling Ocean Color Observations for a GEO-Stationary Satellite / 376
Jeremy Frank, Minh Do, Tony Tran
Strategic Planning for Setting Up Base Stations in Emergency Medical Systems / 385
Supriyo Ghosh, Pradeep Varakantham
Cell Design and Routing of Jobs in a Multisite Make-to-Order Enterprise / 394
Manoj Gupta, R. P. Jagadeesh Chandra Bose, Partha Dutta
More Shuttles, Less Cost: Energy Efficient Planning for Scalable High-Density Warehouse Environments / 403
Christian Hütter
Towards Next Generation Touring: Personalized Group Tours / 412
Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera
Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions / 421
Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris Dent
Planning and Control of Marine Floats in the Presence of Dynamic, Uncertain Currents / 431
Martina Troesch, Steve Chien, Yi Chao, John Farrara
Robotics Track
Integrating Planning and Control for Efficient Path Planning in the Presence of Environmental Disturbances / 441
Sandip Aine, P. B. Sujit
Path Planning under Interface-Based Constraints for Assistive Robotics / 450
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 / 459
Christopher M. Dellin, Siddhartha S. Srinivasa
Real-Time Stochastic Optimal Control for Multi-Agent Quadrotor Systems / 468
Vicenç Gómez, Sep Thijssen, Andrew Symington, Stephen Hailes, Hilbert J Kappen
Multi-Agent Path Finding with Kinematic Constraints / 477
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 / 486
Luca Iocchi, Laurent Jeanpierre, Maria Teresa Lazaro, Abdel-Illah Mouaddib
Evaluation of Auction-Based Multi-Robot Routing by Parallel Simulation / 495
Akihiro Kishimoto, Kiyohito Nagano
Online Learning of Robot Soccer Free Kick Plans Using a Bandit Approach / 504
Juan Pablo Mendoza, Reid Simmons, Manuela Veloso
Experience-Based Robot Task Learning and Planning with Goal Inference / 509
Vahid Mokhtari, Luis Seabra Lopes, Armando J. Pinho
Robot Motion Planning for Pouring Liquids / 518
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 / 527
Brual C. Shah, Satyandra K. Gupta
Task and Motion Policy Synthesis as Liveness Games / 536
Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.