Search

Search Results

• Multi Agent Reinforcement Learning for Sequential Satellite Assignment Problems

  Joshua Holder, Natasha Jaques, Mehran Mesbahi

  26516-26524

  2025-04-11

• State Encodings for GNN-Based Lifted Planners

  Rostislav Horčik, Gustav Šír, Vítězslav Šimek, Tomáš Pevný

  26525-26533

  2025-04-11

• Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags

  Kim van den Houten, Léon Planken, Esteban Freydell, David M.J. Tax, Mathijs de Weerdt

  26534-26541

  2025-04-11

• Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts

  Sukai Huang, Nir Lipovetzky, Trevor Cohn

  26542-26550

  2025-04-11

• Multiple Mean-Payoff Optimization Under Local Stability Constraints

  David Klaška, Antonín Kučera, Vojtěch Kůr, Vít Musil, Vojtěch Řehák

  26551-26558

  2025-04-11

• ACPBench: Reasoning About Action, Change, and Planning

  Harsha Kokel, Michael Katz, Kavitha Srinivas, Shirin Sohrabi

  26559-26568

  2025-04-11

• Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves

  Martin Kurečka, Václav Nevyhoštěný, Petr Novotný, Vít Unčovský

  26569-26578

  2025-04-11

• Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning

  Alessandro La Farciola, Alessandro Valentini, Andrea Micheli

  26579-26586

  2025-04-11

• On Shallow Planning Under Partial Observability

  Randy Lefebvre, Audrey Durand

  26587-26595

  2025-04-11

• Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans

  Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher

  26596-26604

  2025-04-11

• Approximate Bilevel Difference Convex Programming for Bayesian Risk Markov Decision Processes

  Yifan Lin, Enlu Zhou

  26605-26613

  2025-04-11

• WEPO: Web Element Preference Optimization for LLM-based Web Navigation

  Jiarun Liu, Jia Hao, Chunhong Zhang, Zheng Hu

  26614-26622

  2025-04-11

• ModelDiff: Symbolic Dynamic Programming for Model-Aware Policy Transfer in Deep Q-Learning

  Xiaotian Liu, Jihwan Jeong, Ayal Taitler, Michael Gimelfarb, Scott Sanner

  26623-26630

  2025-04-11

• Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

  Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

  26631-26641

  2025-04-11

• Self-Correcting Robot Manipulation via Gaussian-Splatted Foresight

  Shaohui Pan, Yong Xu, Ruotao Xu, Zihan Zhou, Si Wu, Zhuliang Yu

  26642-26650

  2025-04-11

• Counterfactual Online Learning for Open-Loop Monte-Carlo Planning

  Thomy Phan, Shao-Hung Chan, Sven Koenig

  26651-26658

  2025-04-11

• Formally Verified Approximate Policy Iteration

  Maximilian Schäffeler, Mohammad Abdulaziz

  26659-26667

  2025-04-11

• Parallel Greedy Best-First Search with a Bound on Expansions Relative to Sequential Search

  Takumi Shimoda, Alex Fukunaga

  26668-26677

  2025-04-11

• Neural Combinatorial Optimization for Stochastic Flexible Job Shop Scheduling Problems

  Igor G. Smit, Yaoxin Wu, Pavel Troubil, Yingqian Zhang, Wim P.M. Nuijten

  26678-26687

  2025-04-11

• Counting and Reasoning with Plans

  David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte, Augusto B. Corrêa

  26688-26696

  2025-04-11

• Learning More Expressive General Policies for Classical Planning Domains

  Simon Ståhlberg, Blai Bonet, Hector Geffner

  26697-26706

  2025-04-11

• Inapproximability of Optimal Multi-Agent Pathfinding Problems

  Xing Tan, Alban Grastien

  26707-26715

  2025-04-11

• Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation

  Elisa Tosello, Alessandro Valentini, Andrea Micheli

  26716-26724

  2025-04-11

• Augmenting Online Algorithms for Knapsack Problem with Total Weight Information

  Binghan Wu, Wei Bao, Bing Bing Zhou

  26725-26732

  2025-04-11

• RATT: A Thought Structure for Coherent and Correct LLM Reasoning

  Jinghan Zhang, Xiting Wang, Weijieying Ren, Lu Jiang, Dongjie Wang, Kunpeng Liu

  26733-26741

  2025-04-11