Search

Search Results

• Learning Heuristic Functions for HTN Planning

  Daniel Höller

  36262-36270

  2026-03-14

• Experiential Fairness: Bridging the Gap Between User Experience and Resource-Centric Fairness in Online LLM Services

  Jiahua Huang, Wentai Wu, Yongheng Liu, Guozhi Liu, Yang Wang, Weiwei Lin

  36271-36279

  2026-03-14

• Hierarchical Reinforcement Learning with Topology-Aware Exploration Framework for Multi-path Commodity Flow Problem

  Jingchen Jiang, Xuan Zhou, Jiayuan Li, Geng Han, Xiang Shi, Fang Deng

  36280-36288

  2026-03-14

• Boosting Cross-problem Generalization in Diffusion-Based Neural Combinatorial Solver via Inference Time Adaptation

  Haoyu Lei, Kaiwen Zhou, Yinchuan Li, Zhitang Chen, Farzan Farnia

  36289-36297

  2026-03-14

• Elite Pattern Reinforcement for Vehicle Routing Problems

  Ning Li, Peng Lin, Peng Zhang, Ruichen Tian

  36298-36306

  2026-03-14

• Diverse Human Driving Vehicle Simulation in Background Traffic for Autonomous Driving Tests

  Wendi Li, Hao Wu, Han Gao, Bing Mao, Fengyuan Xu, Sheng Zhong

  36307-36315

  2026-03-14

• Automated Repair of Totally-Ordered Hierarchical Task Network Domains via Context-Free Grammars with Large Language Model Support

  Daniel Lutalo, Pascal Bercher

  36316-36324

  2026-03-14

• Two Constraint Compilation Methods for Lifted Planning

  Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires

  36325-36333

  2026-03-14

• Makespan Investigations of Sequential, Parallel, PO, and POCL Plans

  Harrison Oates, Pascal Bercher

  36334-36342

  2026-03-14

• Planning with Uncertain Action Models

  Francesco Percassi, Alessandro Saetti, Enrico Scala

  36343-36350

  2026-03-14

• Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning

  Martín Pozo, Álvaro Torralba, Carlos Linares López

  36351-36359

  2026-03-14

• Incremental Data-Driven Policy Synthesis via Game Abstractions

  Irmak Sağlam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck

  36360-36368

  2026-03-14

• Efficient Solution and Learning of Robust Factored MDPs

  Yannik Schnitzer, Alessandro Abate, David Parker

  36369-36377

  2026-03-14

• HTN Plan Verification by Qualitative Temporal Reasoning

  Tobias Schwartz, Diedrich Wolter

  36378-36385

  2026-03-14

• Online Robust Planning Under Model Uncertainty: A Sample-Based Approach

  Tamir Shazman, Idan Lev-Yehudi, Ron Benchetrit, Vadim Indelman

  36386-36393

  2026-03-14

• First-Order Representation Languages for Goal-Conditioned RL

  Simon Ståhlberg, Hector Geffner

  36394-36402

  2026-03-14

• Inapproximability of STRIPS Planning

  Xing Tan, Alban Grastien

  36403-36411

  2026-03-14

• Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions

  Hadyn Tang, Pascal Bercher

  36412-36420

  2026-03-14

• GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets

  Jingtao Tang, Hang Ma

  36421-36428

  2026-03-14

• Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning

  Rasmus G. Tollund, Álvaro Torralba

  36429-36437

  2026-03-14

• Probabilistic Safety Verification of Neural Policies via Predicate Abstraction

  Marcel Vinzent, Holger Hermanns, Jörg Hoffmann

  36438-36447

  2026-03-14

• History-Aware Reasoning for GUI Agents

  Ziwei Wang, Leyang Yang, Xiaoxuan Tang, Sheng Zhou, Dajun Chen, Wei Jiang, Yong Li

  36448-36456

  2026-03-14

• Good-for-MDP State Reduction for Stochastic LTL Planning

  Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang

  36457-36465

  2026-03-14

• Online Capacitated General Matching with Knapsack

  Ruoyu Wu, Wei Bao, Ben Liang, Hequn Wang

  36466-36473

  2026-03-14

• Matching Policy Design for Gig Platforms with “Priority” Features

  Evan Yifan Xu, Pan Xu

  36474-36482

  2026-03-14