Table of Contents

• Planning Modulo Theories: Extending the Planning ParadigmPeter Gregory, Derek Long, Maria Fox, J. Christopher Beck. [doi]
• Optimizing Plans through Analysis of Action Dependencies and IndependenciesLukás Chrpa, Thomas Leo McCluskey, Hugh Osborne. [doi]
• Optimal Search with Inadmissible HeuristicsErez Karpas, Carmel Domshlak. [doi]
• ITOMP: Incremental Trajectory Optimization for Real-Time Replanning in Dynamic EnvironmentsChonhyon Park, Jia Pan, Dinesh Manocha. [doi]
• Faster Bounded-Cost Search Using Inadmissible EstimatesJordan Tyler Thayer, Roni Stern, Ariel Felner, Wheeler Ruml. [doi]
• Fast Incremental Policy Compilation from Plans in Hybrid Probabilistic DomainsFlorent Teichteil-Königsbuch. [doi]
• Temporal Planning with Preferences and Time-Dependent Continuous CostsJ. Benton, Amanda Jane Coles, Andrew Coles. [doi]
• Learning Portfolios of Automatically Tuned PlannersJendrik Seipp, Manuel Braun, Johannes Garimort, Malte Helmert. [doi]
• On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete ApproachHoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli. [doi]
• Iterative Improvement Algorithms for the Blocking Job ShopAngelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith. [doi]
• Short-Sighted Stochastic Shortest Path ProblemsFelipe W. Trevizan, Manuela M. Veloso. [doi]
• A Planning Based Framework for Controlling Hybrid SystemsJohannes Löhr, Patrick Eyerich, Thomas Keller 0001, Bernhard Nebel. [doi]
• Bandit-Based Planning and Learning in Continuous-Action Markov Decision ProcessesAri Weinstein, Michael L. Littman. [doi]
• CP and MIP Methods for Ship Scheduling with Time-Varying DraftElena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace. [doi]
• Optimal Planning for Delete-Free Tasks with Incremental LM-CutFlorian Pommerening, Malte Helmert. [doi]
• Program Committee [doi]
• Route Planning for Bicycles - Exact Constrained Shortest Paths Made Practical via Contraction HierarchySabine Storandt. [doi]
• Sampling-Based Coverage Path Planning for Inspection of Complex StructuresBrendan Englot, Franz S. Hover. [doi]
• Planning Via Random Walk-Driven Local SearchFan Xie 0001, Hootan Nakhost, Martin Müller 0003. [doi]
• How to Relax a Bisimulation?Michael Katz, Jörg Hoffmann, Malte Helmert. [doi]
• Incremental ARA*: An Incremental Anytime Search Algorithm for Moving-Target SearchXiaoxun Sun, William Yeoh, Tansel Uras, Sven Koenig. [doi]
• Using AI Planning to Enhance E-Learning ProcessesAntonio Garrido, Lluvia Morales, Ivan Serina. [doi]
• Special Track on Continuous Planning [doi]
• Anticipatory On-Line PlanningEthan Burns, J. Benton, Wheeler Ruml, Sung Wook Yoon, Minh Binh Do. [doi]
• About Partial Order Reduction in Planning and Computer Aided VerificationMartin Wehrle, Malte Helmert. [doi]
• Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound ExplanationsBastian Seegebarth, Felix Müller, Bernd Schattenberg, Susanne Biundo. [doi]
• MDD Propagation for Disjunctive SchedulingAndré A. Ciré, Willem Jan van Hoeve. [doi]
• Incremental Lower Bounds for Additive Cost Planning ProblemsPatrik Haslum. [doi]
• Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward SearchCarmel Domshlak, Michael Katz, Alexander Shleyfman. [doi]
• Improved Non-Deterministic Planning by Exploiting State RelevanceChristian J. Muise, Sheila A. McIlraith, J. Christopher Beck. [doi]
• Tractable Monotone Temporal PlanningMartin C. Cooper, Frederic Maris, Pierre Régnier. [doi]
• Sponsors [doi]
• Plan-Based Policy-Learning for Autonomous Feature TrackingMaria Fox, Derek Long, Daniele Magazzeni. [doi]
• Resource-Constrained Planning: A Monte Carlo Random Walk ApproachHootan Nakhost, Jörg Hoffmann, Martin Müller 0003. [doi]
• Organizing Committee [doi]
• Semi-Relaxed Plan HeuristicsEmil Ragip Keyder, Jörg Hoffmann, Patrik Haslum. [doi]
• Risk-Variant Policy Switching to Exceed Reward ThresholdsBreelyn Melissa Kane, Reid Simmons. [doi]
• Predicting Optimal Solution Cost with Bidirectional Stratified SamplingLevi Lelis, Roni Stern, Ariel Felner, Sandra Zilles, Robert C. Holte. [doi]
• Optimally Relaxing Partial-Order Plans with MaxSATChristian J. Muise, Sheila A. McIlraith, J. Christopher Beck. [doi]
• PROST: Probabilistic Planning Based on UCTThomas Keller 0001, Patrick Eyerich. [doi]
• Schedule-Driven Coordination for Real-Time Traffic Network ControlXiao-Feng Xie, Stephen F. Smith, Gregory J. Barlow. [doi]
• Minimal Landmarks for Optimal Delete-Free PlanningPatrik Haslum, John K. Slaney, Sylvie Thiébaux. [doi]
• Reverse Iterative Deepening for Finite-Horizon MDPs with Large Branching FactorsAndrey Kolobov, Peng Dai, Mausam, Daniel S. Weld. [doi]
• Pruning Methods for Optimal Delete-Free PlanningAvitan Gefen, Ronen I. Brafman. [doi]
• The Application of Automated Planning to Machine Tool CalibrationSimon Parkinson, Andrew Longstaff, Andrew Crampton, Peter Gregory. [doi]
• Integrating Vehicle Routing and Motion PlanningScott Kiesel, Ethan Burns, Christopher Makoto Wilt, Wheeler Ruml. [doi]
• Long-Run Stability in Dynamic SchedulingDaria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck. [doi]
• Preface [doi]
• On Modeling the Tactical Planning of Oil Pipeline NetworksDaniel Felix Ferber. [doi]
• Automated Planning for Liner Shipping Fleet RepositioningKevin Tierney, Amanda Jane Coles, Andrew Coles, Christian Kroer, Adam M. Britt, Rune Møller Jensen. [doi]