Search

Search Results

• Deceptive Reinforcement Learning in Model-Free Domains

  Alan Lewis, Tim Miller

  587-595

  2023-07-01

• Safe MDP Planning by Learning Temporal Patterns of Undesirable Trajectories and Averting Negative Side Effects

  Siow Meng Low, Akshat Kumar, Scott Sanner

  596-604

  2023-07-01

• Automaton-Guided Curriculum Generation for Reinforcement Learning Agents

  Yash Shukla, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov

  605-613

  2023-07-01

• An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming

  Pierre Tassel, Martin Gebser, Konstantin Schekotihin

  614-622

  2023-07-01

• Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks

  Florent Teichteil-Königsbuch, Guillaume Povéda, Guillermo González de Garibay Barba, Tim Luchterhand, Sylvie Thiébaux

  623-633

  2023-07-01

• Learning Local Heuristics for Search-Based Navigation Planning

  Rishi Veerapaneni, Muhammad Suhail Saleem, Maxim Likhachev

  634-638

  2023-07-01

• Timed Partial Order Inference Algorithm

  Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi

  639-647

  2023-07-01

• Planning for Automated Testing of Implicit Constraints in Behavior Trees

  Uwe Köckemann, Daniele Calisi, Guglielmo Gemignani, Jennifer Renoux, Alessandro Saffiotti

  649-658

  2023-07-01

• Understanding Natural Language in Context

  Avichai Levy, Erez Karpas

  659-667

  2023-07-01

• Planning for Manipulation among Movable Objects: Deciding Which Objects Go Where, in What Order, and How

  Dhruv Saxena, Maxim Likhachev

  668-676

  2023-07-01

• Approximating the Value of Collaborative Team Actions for Efficient Multiagent Navigation in Uncertain Graphs

  Martina Stadler, Jacopo Banfi, Nicholas Roy

  677-685

  2023-07-01

• Frontmatter

  Roman Barták, Andrea Orlandini, Mauro Vallati, Sven Koenig, Roni Stern

  2023-07-02

• Specifying Goals to Deep Neural Networks with Answer Set Programming

  Forest Agostinelli, Rojina Panta, Vedant Khandelwal

  2-10

  2024-05-30

• Exact Multi-objective Path Finding with Negative Weights

  Saman Ahmadi, Nathan R. Sturtevant, Daniel Harabor, Mahdi Jalili

  11-19

  2024-05-30

• On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification

  Gregor Behnke, Marcel Steinmetz

  20-24

  2024-05-30

• Non-deterministic Planning for Hyperproperty Verification

  Raven Beutner, Bernd Finkbeiner

  25-30

  2024-05-30

• On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies

  Blai Bonet, Dominik Drexler, Héctor Geffner

  31-39

  2024-05-30

• Abstraction Heuristics for Factored Tasks

  Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert

  40-49

  2024-05-30

• Multi-Agent Temporal Task Solving and Plan Optimization

  J. Caballero Testón, Maria D. R-Moreno

  50-58

  2024-05-30

• Taming Discretised PDDL+ through Multiple Discretisations

  Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati

  59-67

  2024-05-30

• Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning

  Dillon Z. Chen, Felipe Trevizan, Sylvie Thiébaux

  68-76

  2024-05-30

• More Flexible Proximity Wildcards Path Planning with Compressed Path Databases

  Xi Chen, Yue Zhang, Yonggang Zhang

  77-85

  2024-05-30

• On Verifying Linear Execution Strategies in Planning Against Nature

  Lukáš Chrpa, Erez Karpas

  86-94

  2024-05-30

• Planning and Acting While the Clock Ticks

  Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf Shperberg

  95-103

  2024-05-30

• Planning with Object Creation

  Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin

  104-113

  2024-05-30