Papers
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction
Marcel Vinzent, Holger Hermanns, Jörg Hoffmann
Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning
Rasmus G. Tollund, Álvaro Torralba
GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets
Jingtao Tang, Hang Ma
Inapproximability of STRIPS Planning
Xing Tan, Alban Grastien
First-Order Representation Languages for Goal-Conditioned RL
Simon Ståhlberg, Hector Geffner
Online Robust Planning Under Model Uncertainty: A Sample-Based Approach
Tamir Shazman, Idan Lev-Yehudi, Ron Benchetrit et al.
HTN Plan Verification by Qualitative Temporal Reasoning
Tobias Schwartz, Diedrich Wolter
Efficient Solution and Learning of Robust Factored MDPs
Yannik Schnitzer, Alessandro Abate, David Parker
Incremental Data-Driven Policy Synthesis via Game Abstractions
Irmak Sağlam, Mahdi Nazeri, Alessandro Abate et al.
Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning
Martín Pozo, Álvaro Torralba, Carlos Linares López
Planning with Uncertain Action Models
Francesco Percassi, Alessandro Saetti, Enrico Scala
Makespan Investigations of Sequential, Parallel, PO, and POCL Plans
Harrison Oates, Pascal Bercher
Two Constraint Compilation Methods for Lifted Planning
Periklis Mantenoglou, Luigi Bonassi, Enrico Scala et al.
Diverse Human Driving Vehicle Simulation in Background Traffic for Autonomous Driving Tests
Wendi Li, Hao Wu, Han Gao et al.
Elite Pattern Reinforcement for Vehicle Routing Problems
Ning Li, Peng Lin, Peng Zhang et al.
Boosting Cross-problem Generalization in Diffusion-Based Neural Combinatorial Solver via Inference Time Adaptation
Haoyu Lei, Kaiwen Zhou, Yinchuan Li et al.
Hierarchical Reinforcement Learning with Topology-Aware Exploration Framework for Multi-path Commodity Flow Problem
Jingchen Jiang, Xuan Zhou, Jiayuan Li et al.
Experiential Fairness: Bridging the Gap Between User Experience and Resource-Centric Fairness in Online LLM Services
Jiahua Huang, Wentai Wu, Yongheng Liu et al.
Learning Heuristic Functions for HTN Planning
Daniel Höller
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
Linus Heck, Filip Macák, Milan Češka et al.
Robust Out-of-Order Retrieval for Grid-Based Storage at Maximum Capacity
Tzvika Geft, William Zhang, Jingjin Yu et al.
Symmetry-Aware Transformer Training for Automated Planning
Markus Fritzsche, Elliot Gestrin, Jendrik Seipp
Managing Infinite Abstractions in Numeric Pattern Database Heuristics
Markus Fritzsche, Daniel Gnad, Mikhail Gruntov et al.