Search

Search Results

• Heuristic Search for Multi-Objective Probabilistic Planning

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

  11945-11954

  2023-06-26

• Zero-Knowledge Proofs for Classical Planning Problems

  Augusto B. Corrêa, Clemens Büchner, Remo Christen

  11955-11962

  2023-06-26

• Planning with Hidden Parameter Polynomial MDPs

  Clarissa Costen, Marc Rigter, Bruno Lacerda, Nick Hawes

  11963-11971

  2023-06-26

• Privacy Attacks on Schedule-Driven Data

  Stephan A. Fahrenkrog-Petersen, Arik Senderovich, Alexandra Tichauer, Ali Kaan Tutak, J. Christopher Beck, Matthias Weidlich

  11972-11979

  2023-06-26

• Markov Decision Processes with Time-Varying Geometric Discounting

  Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic

  11980-11988

  2023-06-26

• Learning-Augmented Algorithms for Online TSP on the Line

  Themistoklis Gouleakis, Konstantinos Lakis, Golnoosh Shahkarami

  11989-11996

  2023-06-26

• Networked Restless Bandits with Positive Externalities

  Christine Herlihy, John P. Dickerson

  11997-12004

  2023-06-26

• Planning for Learning Object Properties

  Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso

  12005-12013

  2023-06-26

• Fully Online Matching with Stochastic Arrivals and Departures

  Zihao Li, Hao Wang, Zhenzhen Yan

  12014-12021

  2023-06-26

• Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains

  Songtuan Lin, Alban Grastien, Pascal Bercher

  12022-12031

  2023-06-26

• Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains

  Songtuan Lin, Pascal Bercher

  12032-12040

  2023-06-26

• On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm

  Songtuan Lin, Gregor Behnke, Simona Ondrčková, Roman Barták, Pascal Bercher

  12041-12048

  2023-06-26

• A Dynamics and Task Decoupled Reinforcement Learning Architecture for High-Efficiency Dynamic Target Intercept

  Dora D. Liu, Liang Hu, Qi Zhang, Tangwei Ye, Usman Naseem, Zhong Yuan Lai

  12049-12057

  2023-06-26

• AlphaRoute: Large-Scale Coordinated Route Planning via Monte Carlo Tree Search

  Guiyang Luo, Yantao Wang, Hui Zhang, Quan Yuan, Jinglin Li

  12058-12067

  2023-06-26

• Learning Rational Subgoals from Demonstrations and Instructions

  Zhezheng Luo, Jiayuan Mao, Jiajun Wu, Tomás Lozano-Pérez, Joshua B. Tenenbaum, Leslie Pack Kaelbling

  12068-12078

  2023-06-26

• Learning Safe Numeric Action Models

  Argaman Mordoch, Brendan Juba, Roni Stern

  12079-12086

  2023-06-26

• Automated Verification of Social Laws in Numeric Settings

  Ronen Nir, Alexander Shleyfman, Erez Karpas

  12087-12094

  2023-06-26

• Expressive Optimal Temporal Planning via Optimization Modulo Theory

  Stefan Panjkovic, Andrea Micheli

  12095-12102

  2023-06-26

• Flexible Budgets in Restless Bandits: A Primal-Dual Algorithm for Efficient Budget Allocation

  Paula Rodriguez Diaz, Jackson A. Killian, Lily Xu, Arun Sai Suggala, Aparna Taneja, Milind Tambe

  12103-12111

  2023-06-26

• Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis

  Alexander Shleyfman, Daniel Gnad, Peter Jonsson

  12112-12119

  2023-06-26

• Predicate Invention for Bilevel Planning

  Tom Silver, Rohan Chitnis, Nishanth Kumar, Willie McClinton, Tomás Lozano-Pérez, Leslie Kaelbling, Joshua B. Tenenbaum

  12120-12129

  2023-06-26

• Smoothed Online Combinatorial Optimization Using Imperfect Predictions

  Kai Wang, Zhao Song, Georgios Theocharous, Sridhar Mahadevan

  12130-12137

  2023-06-26

• Scalable Decision-Focused Learning in Restless Multi-Armed Bandits with Application to Maternal and Child Health

  Kai Wang, Shresth Verma, Aditya Mate, Sanket Shah, Aparna Taneja, Neha Madhiwalla, Aparna Hegde, Milind Tambe

  12138-12146

  2023-06-26

• Neural TSP Solver with Progressive Distillation

  Dongxiang Zhang, Ziyang Xiao, Yuan Wang, Mingli Song, Gang Chen

  12147-12154

  2023-06-26

• The Linear Distance Traveling Tournament Problem Allows an EPTAS

  Jingyang Zhao, Mingyu Xiao

  12155-12162

  2023-06-26