F. Trevizan and M. Veloso
Short-Sighted Stochastic Shortest Path Problems

T. Keller and P. Eyerich
Probabilistic Planning Based on UCT

A. Kolobov, P. Dai, Mausam and D. Weld
Tackling Finite-Horizon MDPs with Large Branching Factors

K. Tierney, A. Coles A. Coles, C. Kroer, A. Britt, R. M. Jensen
Automated Planning for Liner Shipping Fleet Repositioning

E. Kelareva, P. Kilby, S. Thiébaux, M. Wallace and S. Brand
CP and MIP Methods for Ship Scheduling with Time-Varying Draft

X. Xie, S. F. Smith and G. J. Barlow
Schedule-Driven Coordination for Real-Time Traffic Network Control

S. Storandt
Route Planning for Bicycles – Exact Constrained Shortest Paths made Practical via Contraction Hierarchy
short paper

B. Kane and R. Simmons
Risk-Variant Policy Switching to Exceed Reward Thresholds

F. Teichteil-Königsbuch
Fast Incremental Policy Compilation from Plans in Hybrid Probabilistic Domains

C. Muise, J. C. Beck and S. McIlraith
Improved Non-deterministic Planning by Exploiting State Relevance

E. Burns, J. Benton, W. Ruml, M. Do and S. Yoon
Anticipatory On-line Planning (short paper)
short paper

J. Benton, A. Coles and A. Coles
Temporal Planning with Preferences and Time-Dependent Continuous Costs (Best Student Paper – Special Track)

K. Nguyen, V. Tran, S. Tran and E. Pontelli
On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach (Best Student Paper)

E. Keyder, J. Hoffmann and P. Haslum
Semi-Relaxed Plan Heuristics (Best Paper)

M. Fox, D. Long and D. Magazzeni
Plan-based Policy Learning for Autonomous Feature Tracking

H. Nakhost, J. Hoffmann and M. Mueller
Resource-Constrained Planning: A Monte-Carlo Random Walk Approach

F. Xie, H. Nakhost and M. Mueller
Planning via Random Walk-Driven Local Search

J. Seipp, M. Braun, J. Garimort and M. Helmert
Learning Portfolios of Automatically Configured Planners (short paper)
short paper

B. Seegebarth, F. Muller, B. Schattenberg, S. Biundo
Making Hybrid Plans More Clear to Human Users – A Formal Approach for Generating Sound Explanations

S. Parkinson, A. Longstaff, A. Crampton, P. Gregory
The Application of Automated Planning to Machine Tool Calibration

A. Garrido, L. Morales, I. Serina
Using AI Planning to Enhance E-learning Processes

D. F. Ferber
On Modeling the Tactical Planning of Oil Pipeline Networks
short paper

P. Gregory, D. Long, M. Fox, J. C. Beck
Planning Modulo Theories: Extending the Planning Paradigm

L. Chrpa, T. L. McCluskey, H. Osborne
Optimizing Plans through Analysis of Action Dependencies and Independencies
short paper

C. Muise, S. McIlraith, J. C. Beck
Optimally Relaxing Partial-Order Plans with MaxSAT
short paper

X. Sun, W. Yeoh, T. Uras, S. Koenig
Incremental ARA*: An Anytime Incremental Search Algorithm for Moving Target Search

B. Englot, F. Hover
Sampling-Based Coverage Path Planning for Inspection of Complex Structures

C. Park, J. Pan, D. Manocha
ITOMP: Incremental Trajectory Optimization for Real-time Replanning in Dynamic Environments

P. Haslum
Incremental Lower Bounds for Additive Cost Planning Problems

M. Katz, J. Hoffmann, M. Helmert
How to Relax a Bisimulation?

P. Haslum, J. Slaney, S. Thiébaux
Minimal Landmarks for Optimal Delete-Relaxed Planning
short paper

M. Wehrle, M. Helmert
About Partial Order Reduction in Planning and Computer Aided Verification

A. Gefen, R. Brafman
Pruning Methods for Optimal Delete-Free Planning

F. Pommerening, M. Helmert
Optimal Planning for Delete-free Tasks with Incremental LM-cut
short paper

C. Domshlak, M. Katz, A. Shleyfman
Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search
short paper

M. C. Cooper, F. Maris, P. Regnier
Tractable Monotone Temporal Planning

A. A. Cire, W. Van Hoeve
MDD Propagation for Disjunctive Scheduling

D. Terekhov, T. T. Tran, D. G. Down, J. C. Beck
Long-run Stability in Dynamic Scheduling

A. Oddi, R. Rasconi, A. Cesta, S. F. Smith
Iterative Improvement Algorithms for the Blocking Job Shop

Anthony G. Cohn
Building Qualitative Models of Spatio-Temporal Behavior
invited talk

George J. Pappas
Temporal Logic Motion Planning for Mobile Robots
invited talk

Robert O. Ambrose
Controlling Robots Across Intermediate Time Delays
invited talk