Main Technical Track
Temporal Planning while the Clock Ticks | |
Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml |
A Proof System for Unsolvable Planning Tasks | |
Salomé Eriksson, Gabriele Röger, Malte Helmert |
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 |
Novel Applications Track
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 |
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 |
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 |
The Integrated Last-Mile Transportation Problem (ILMTP) | |
Arvind U. Raghunathan, David Bergman, John Hooker, Thiago Serra, Shingo Kobori |
Robotics Track
Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance | |
Vinitha Ranganeni, Oren Salzman, Maxim Likhachev |