Search

Search Results

• 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

  347-355

  2018-06-15

• 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

  312-320

  2018-06-15

• Finite LTL Synthesis as Planning

  Alberto Camacho, Jorge Baier, Christian Muise, Sheila McIlraith

  29-38

  2018-06-15

• An On-Line Planner for POMDPs with Large Discrete Action Space: A Quantile-Based Approach

  Erli Wang, Hanna Kurniawati, Dirk Kroese

  273-277

  2018-06-15

• New Perspectives on Flexibility in Simple Temporal Planning

  Amy Huang, Liam Lloyd, Mohamed Omar, James Boerkoel

  123-131

  2018-06-15

• Integrating Resource Management and Timeline-Based Planning

  Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini

  264-272

  2018-06-15

• Symmetry-Based Task Reduction for Relaxed Reachability Analysis

  Gabriele Röger, Silvan Sievers, Michael Katz

  208-217

  2018-06-15

• Bootstrapping LPs in Value Iteration for Multi-Objective and Partially Observable MDPs

  Diederik Roijers, Erwin Walraven, Matthijs Spaan

  218-226

  2018-06-15

• Simulated Penetration Testing as Contingent Planning

  Dorin Shmaryahu, Guy Shani, Joerg Hoffmann, Marcel Steinmetz

  241-249

  2018-06-15

• Plan Relaxation via Action Debinding and Deordering

  Max Waters, Bernhard Nebel, Lin Padgham, Sebastian Sardina

  278-287

  2018-06-15

• A Generic Method to Guide HTN Progression Search with Classical Heuristics

  Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

  114-122

  2018-06-15

• A Proof System for Unsolvable Planning Tasks

  Salomé Eriksson, Gabriele Röger, Malte Helmert

  65-73

  2018-06-15

• Two-Oracle Optimal Path Planning on Grid Maps

  Matteo Salvetti, Adi Botea, Alfonso Gerevini, Daniel Harabor, Alessandro Saetti

  227-231

  2018-06-15

• Batch Random Walk for GPU-Based Classical Planning

  Ryo Kuroiwa, Alex Fukunaga

  155-160

  2018-06-15

• Planning for Partial Observability by SAT and Graph Constraints

  Binda Pandey, Jussi Rintanen

  190-198

  2018-06-15

• Local Search for Flowshops with Setup Times and Blocking Constraints

  Vahid Riahi, M. A. Newton, Kaile Su, Abdul Sattar

  199-207

  2018-06-15

• Sampling Strategies for Conformant Planning

  Alban Grastien, Enrico Scala

  97-105

  2018-06-15

• A Novel Iterative Approach to Top-k Planning

  Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer

  132-140

  2018-06-15

• Validation of Hierarchical Plans via Parsing of Attribute Grammars

  Roman Bartak, Adrien Maillard, Rafael Cardoso

  11-19

  2018-06-15

• Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters

  Mikael Nilsson, Jonas Kvarnström, Patrick Doherty

  180-189

  2018-06-15

• Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams

  David Speck, Florian Geißer, Robert Mattmüller

  250-258

  2018-06-15

• Representing and Planning with Interacting Actions and Privacy

  Shashank Shekhar, Ronen Brafman

  232-240

  2018-06-15

• Scalability of Route Planning Techniques

  Johannes Blum, Sabine Storandt

  20-28

  2018-06-15

• Compiling Probabilistic Model Checking into Probabilistic Planning

  Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

  150-154

  2018-06-15

• Value Driven Landmarks for Oversubscription Planning

  Daniel Muller, Erez Karpas

  171-179

  2018-06-15