Search

Search Results

• Multi-Objective Electric Vehicle Route and Charging Planning with Contraction Hierarchies

  Marek Cuchý, Jiří Vokřínek, Michal Jakob

  114-122

  2024-05-30

• Combined Task and Motion Planning via Sketch Decompositions

  Magí Dalmau Moreno, Néstor García, Vicenç Gómez, Héctor Geffner

  123-132

  2024-05-30

• Planning Domain Simulation: An Interactive System for Plan Visualisation

  Emanuele De Pellegrin, Ronald P. A. Petrick

  133-141

  2024-05-30

• Learning Quadruped Locomotion Policies Using Logical Rules

  David DeFazio, Yohei Hayamizu, Shiqi Zhang

  142-150

  2024-05-30

• Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity

  Simon Dold, Malte Helmert

  151-161

  2024-05-30

• New Fuzzing Biases for Action Policy Testing

  Jan Eisenhut, Xandra Schuler, Daniel Fišer, Daniel Höller, Maria Christakis, Jörg Hoffmann

  162-167

  2024-05-30

• PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation

  Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati

  168-177

  2024-05-30

• Termination Properties of Transition Rules for Indirect Effects

  Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen

  178-186

  2024-05-30

• A Fast Algorithm for k-Memory Messaging Scheme Design in Dynamic Environments with Uncertainty

  Zhikang Fan, Weiran Shen

  187-195

  2024-05-30

• SLAMuZero: Plan and Learn to Map for Joint SLAM and Navigation

  Bowen Fang, Xu Chen, Zhengkun Pan, Xuan Di

  196-200

  2024-05-30

• A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution

  Ying Feng, Adittyo Paul, Zhe Chen, Jiaoyang Li

  201-209

  2024-05-30

• Towards Feasible Higher-Dimensional Potential Heuristics

  Daniel Fišer, Marcel Steinmetz

  210-220

  2024-05-30

• Progressive State Space Disaggregation for Infinite Horizon Dynamic Programming

  Orso Forghieri, Hind Castel, Emmanuel Hyon, Erwan Le Pennec

  221-229

  2024-05-30

• JaxPlan and GurobiPlan: Optimization Baselines for Replanning in Discrete and Mixed Discrete-Continuous Probabilistic Domains

  Michael Gimelfarb, Ayal Taitler, Scott Sanner

  230-238

  2024-05-30

• Formal Representations of Classical Planning Domains

  Claudia Grundke, Gabriele Röger, Malte Helmert

  239-248

  2024-05-30

• Safe Explicable Planning

  Akkamahadevi Hanni, Andrew Boateng, Yu Zhang

  249-257

  2024-05-30

• Replanning in Advance for Instant Delay Recovery in Multi-Agent Applications: Rerouting Trains in a Railway Hub

  Issa K. Hanou, Devin Wild Thomas, Wheeler Ruml, Mathijs de Weerdt

  258-266

  2024-05-30

• An Analysis of the Decidability and Complexity of Numeric Additive Planning

  Hayyan Helal, Gerhard Lakemeyer

  267-275

  2024-05-30

• Versatile Cost Partitioning with Exact Sensitivity Analysis

  Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp

  276-280

  2024-05-30

• Expressiveness of Graph Neural Networks in Planning Domains

  Rostislav Horčík, Gustav Šír

  281-289

  2024-05-30

• Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form

  Luke Hunsberger, Roberto Posenato

  290-300

  2024-05-30

• Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation Learning

  Zhaoxun Ju, Chao Yang, Fuchun Sun, Hongbo Wang, Yu Qiao

  301-309

  2024-05-30

• Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings

  Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava

  310-318

  2024-05-30

• Unifying and Certifying Top-Quality Planning

  Michael Katz, Junkyu Lee, Shirin Sohrabi

  319-323

  2024-05-30

• Explaining Plan Quality Differences

  Benjamin Krarup, Amanda Coles, Derek Long, David E. Smith

  324-332

  2024-05-30