Search

Search Results

• Coping with Large Traffic Volumes in Schedule-Driven Traffic Signal Control

  Hsu-Chieh Hu, Stephen Smith

  154-162

  2017-06-05

• Improving MPGAA* for Extended Visibility Ranges

  Carlos Hernández, Jorge Baier

  149-153

  2017-06-05

• Approximately-Optimal Queries for Planning in Reward-Uncertain Markov Decision Processes

  Shun Zhang, Edmund Durfee, Satinder Singh

  339-347

  2017-06-05

• Efficient Decision-Theoretic Target Localization

  Louis Dressel, Mykel Kochenderfer

  70-78

  2017-06-05

• Stubborn Sets for Fully Observable Nondeterministic Planning

  Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle

  330-338

  2017-06-05

• Complexity of Timeline-Based Planning

  Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini

  116-124

  2017-06-05

• An Investigation of Phase Transitions in Single-Machine Scheduling Problems

  Zhihui Wang, Bryan O'Gorman, Tony Tran, Eleanor Rieffel, Jeremy Frank, Minh Do

  325-329

  2017-06-05

• The Limits of Strong Privacy Preserving Multi-Agent Planning

  Jan Tožička, Michal Štolba, Antonín Komenda

  297-305

  2017-06-05

• Planning Time to Think: Metareasoning for On-Line Planning with Durative Actions

  Bence Cserna, Wheeler Ruml, Jeremy Frank

  56-60

  2017-06-05

• Multiagent Online Planning with Nested Beliefs and Dialogue

  Filippos Kominis, Hector Geffner

  186-194

  2017-06-05

• Sufficient Conditions for Node Expansion in Bidirectional Heuristic Search

  Juergen Eckerle, Jingwei Chen, Nathan Sturtevant, Sandra Zilles, Robert Holte

  79-87

  2017-06-05

• Online Repositioning in Bike Sharing Systems

  Meghna Lowalekar, Pradeep Varakantham, Supriyo Ghosh, Sanjay Jena, Patrick Jaillet

  200-208

  2017-06-05

• A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning

  Jendrik Seipp, Thomas Keller, Malte Helmert

  259-268

  2017-06-05

• A Polynomial Planning Algorithm That Beats LAMA and FF

  Nir Lipovetzky, Hector Geffner

  195-199

  2017-06-05

• Increased Privacy with Reduced Communication in Multi-Agent Planning

  Shlomi Maliah, Ronen Brafman, Guy Shani

  209-217

  2017-06-05

• Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty

  Jing Cui, Patrik Haslum

  61-69

  2017-06-05

• Adapting Novelty to Classical Planning as Heuristic Search

  Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov

  172-180

  2017-06-05

• Unsolvability Certificates for Classical Planning

  Salomé Eriksson, Gabriele Röger, Malte Helmert

  88-97

  2017-06-05

• Automated Verification of Social Law Robustness in STRIPS

  Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz

  163-171

  2017-06-05

• Multi-Agent Ergodic Coverage with Obstacle Avoidance

  Hadi Salman, Elif Ayvali, Howie Choset

  242-249

  2017-06-05

• Automatic Extraction of Axioms for Planning

  Shuwa Miura, Alex Fukunaga

  218-227

  2017-06-05

• Using Hierarchical Constraints to Avoid Conflicts in Multi-Agent Pathfinding

  Thayne Walker, David Chan, Nathan Sturtevant

  316-324

  2017-06-05

• A Temporal Relaxed Planning Graph Heuristic for Planning with Envelopes

  Amanda Coles, Andrew Coles

  47-55

  2017-06-05

• Compressed Path Databases with Ordered Wildcard Substitutions

  Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini

  250-258

  2017-06-05

• This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems

  Gregor Behnke, Daniel Höller, Susanne Biundo

  20-28

  2017-06-05