Search

Search Results

• Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study

  Rebecca Eifler, Martim Brandao, Amanda Coles, Jeremy Frank, Jörg Hoffmann

  687-691

  2022-06-13

• Conflict-Based Search for Explainable Multi-Agent Path Finding

  Justin Kottinger, Shaull Almagor, Morteza Lahijanian

  692-700

  2022-06-13

• VizXP: A Visualization Framework for Conveying Explanations to Users in Model Reconciliation Problems

  Ashwin Kumar, Stylianos Loukas Vasileiou, Melanie Bancilhon, Alvitta Ottley, William Yeoh

  701-709

  2022-06-13

• Explaining Preference-Driven Schedules: The EXPRES Framework

  Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni, Sarit Kraus

  710-718

  2022-06-13

• Resolving Misconceptions about the Plans of Agents via Theory of Mind

  Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith

  719-729

  2022-06-13

• Anxiety-Sensitive Planning: From Formal Foundations to Algorithms and Applications

  Loïs Vanhée, Laurent Jeanpierre, Abdel-Illah Mouaddib

  730-740

  2022-06-13

• Preface

  Sylvie Thiébaux, William Yeoh, Akshat Kumar, Pradeep Varakantham

  2022-06-13

• Falsification of Cyber-Physical Systems Using PDDL+ Planning

  Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina

  2-6

  2023-07-01

• Explainable Goal Recognition: A Framework Based on Weight of Evidence

  Abeer Alshehri, Tim Miller, Mor Vered

  7-16

  2023-07-01

• Exploiting Geometric Constraints in Multi-Agent Pathfinding

  Dor Atzmon, Sara Bernardini, Fabio Fagnani, David Fairbairn

  17-25

  2023-07-01

• W-restrained Bidirectional Bounded-Suboptimal Heuristic Search

  Dor Atzmon, Shahaf S. Shperberg, Netanel Sabah, Ariel Felner, Nathan R. Sturtevant

  26-30

  2023-07-01

• Runahead A*: Speculative Parallelism for A* with Slow Expansions

  Mohammad Bakhshalipour, Mohamad Qadri, Dominic Guri, Seyed Borna Ehsani, Maxim Likhachev, Phillip B. Gibbons

  31-41

  2023-07-01

• On Partial Satisfaction Planning with Total-Order HTNs

  Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi

  42-51

  2023-07-01

• Convexity Hierarchies in Grid Networks

  Johannes Blum, Ruoying Li, Sabine Storandt

  52-60

  2023-07-01

• Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic

  Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala

  61-69

  2023-07-01

• Landmark Progression in Heuristic Search

  Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert

  70-79

  2023-07-01

• Safety Shielding under Delayed Observation

  Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer

  80-85

  2023-07-01

• Planning for Attacker Entrapment in Adversarial Settings

  Brittany Cates, Anagha Kulkarni, Sarath Sreedharan

  86-94

  2023-07-01

• Sensitivity Analysis for Dynamic Control of PSTNs with Skewed Distributions

  Rosy Chen, Yiran Ma, Siqi Wu, James C. Boerkoel Jr.

  95-99

  2023-07-01

• Grounding Planning Tasks Using Tree Decompositions and Iterated Solving

  Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, Stefan Woltran

  100-108

  2023-07-01

• Automatic Metamorphic Test Oracles for Action-Policy Testing

  Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann

  109-117

  2023-07-01

• Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level

  Daniel Fišer

  118-127

  2023-07-01

• Cost Splitting for Multi-Objective Conflict-Based Search

  Cheng Ge, Han Zhang, Jiaoyang Li, Sven Koenig

  128-137

  2023-07-01

• Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

  Daniel Gnad, Silvan Sievers, Álvaro Torralba

  138-147

  2023-07-01

• Planning over Integers: Compilations and Undecidability

  Daniel Gnad, Malte Helmert, Peter Jonsson, Alexander Shleyfman

  148-152

  2023-07-01