• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the International Conference on Automated Planning and Scheduling, 32 /

Book One

Frontmatter

  • Preface

    Sylvie Thiébaux,William Yeoh,Akshat Kumar,Pradeep Varakantham

    PDF

Main Track

  • Simple Temporal Networks for Improvisational Teamwork

    Malia Morgan,Julianna Schalkwyk,Huaxiaoyue Wang,Hannah Davalos,Ryan Martinez,Vibha Rohilla,James Boerkoel

    261-269

    PDF
  • Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution

    Keisuke Okumura,Xavier Défago

    270-278

    PDF
  • Conflict-Directed Diverse Planning for Logic-Geometric Programming

    Joaquim Ortiz-Haro,Erez Karpas,Marc Toussaint,Michael Katz

    279-287

    PDF
  • The Power of Reformulation: From Validation to Planning in PDDL+

    Francesco Percassi,Enrico Scala,Mauro Vallati

    288-296

    PDF
  • A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Roaming Delivery Locations

    Quang Anh Pham,Minh Hoàng Hà,Duy Manh Vu,Huy Hoang Nguyen

    297-306

    PDF
  • Planning for Risk-Aversion and Expected Value in MDPs

    Marc Rigter,Paul Duckworth,Bruno Lacerda,Nick Hawes

    307-315

    PDF
  • Optimising the Stability in Plan Repair via Compilation

    Alessandro Saetti,Enrico Scala

    316-320

    PDF
  • Euclidean Distance-Optimal Post-processing of Grid-Based Paths

    Guru Koushik Senthil Kumar,Sandip Aine,Maxim Likhachev

    321-328

    PDF
  • Classical Planning as QBF without Grounding

    Irfansha Shaik,Jaco van de Pol

    329-337

    PDF
  • Improving Time-Dependent Contraction Hierarchies

    Bojie Shen,Muhammad Aamir Cheema,Daniel D. Harabor,Peter J. Stuckey

    338-347

    PDF
  • New Refinement Strategies for Cartesian Abstractions

    David Speck,Jendrik Seipp

    348-352

    PDF
  • Debugging a Policy: Automatic Action-Policy Testing in AI Planning

    Marcel Steinmetz,Daniel Fišer,Hasan Ferit Eniser,Patrick Ferber,Timo P. Gros,Philippe Heim,Daniel Höller,Xandra Schuler,Valentin Wüstholz,Maria Christakis,Jörg Hoffmann

    353-361

    PDF
  • Learning to Estimate Search Progress Using Sequence of States

    Matan Sudry,Erez Karpas

    362-370

    PDF
  • Neural Network Action Policy Verification via Predicate Abstraction

    Marcel Vinzent,Marcel Steinmetz,Jörg Hoffmann

    371-379

    PDF
  • Loopless Top-K Planning

    Julian von Tschammer,Robert Mattmüller,David Speck

    380-384

    PDF
  • Lazy Rearrangement Planning in Confined Spaces

    Rui Wang,Kai Gao,Jingjin Yu,Kostas Bekris

    385-393

    PDF
  • A*pex: Efficient Approximate Multi-Objective Search on Graphs

    Han Zhang,Oren Salzman,T. K. Satish Kumar,Ariel Felner,Carlos Hernández Ulloa,Sven Koenig

    394-403

    PDF
  • Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware

    Jiachen Zhang,Giovanni Lo Bianco,J. Christopher Beck

    404-412

    PDF
  • Uniform Machine Scheduling with Predictions

    Tianming Zhao,Wei Li,Albert Y. Zomaya

    413-422

    PDF
  • Conflict-Based Search for the Virtual Network Embedding Problem

    Yi Zheng,Srivatsan Ravi,Erik Kline,Sven Koenig,T. K. Satish Kumar

    423-433

    PDF
  • Iterative Depth-First Search for FOND Planning

    Ramon Fraga Pereira,André Grahl Pereira,Frederico Messa,Giuseppe De Giacomo

    90-99

    PDF
  • Admissible Heuristics for Multi-Objective Planning

    Florian Geißer,Patrik Haslum,Sylvie Thiébaux,Felipe Trevizan

    100-109

    PDF
  • Beyond Stars – Generalized Topologies for Decoupled Search

    Daniel Gnad,Álvaro Torralba,Daniel Fišer

    110-118

    PDF
  • Assignment and Prioritization of Tasks with Uncertain Durations for Satisfying Makespans in Decentralized Execution

    Sriram Gopalakrishnan,Daniel Borrajo

    119-123

    PDF
  • On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond

    Malte Helmert,Silvan Sievers,Alexander Rovner,Augusto B. Corrêa

    124-133

    PDF
  • Encoding Lifted Classical Planning in Propositional Logic

    Daniel Höller,Gregor Behnke

    134-144

    PDF
  • Compiling HTN Plan Verification Problems into HTN Planning Problems

    Daniel Höller,Julia Wichlacz,Pascal Bercher,Gregor Behnke

    145-150

    PDF
  • An Exact Algorithm for the Linear Tape Scheduling Problem

    Valentin Honoré,Bertrand Simon,Frédéric Suter

    151-159

    PDF
  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Rostislav Horčík,Álvaro Torralba,Pavel Rytíř,Lukáš Chrpa,Stefan Edelkamp

    160-168

    PDF
  • Multi-Agent Path Finding with Temporal Jump Point Search

    Shuli Hu,Daniel D. Harabor,Graeme Gange,Peter J. Stuckey,Nathan R. Sturtevant

    169-173

    PDF
  • A Compilation Based Approach to Finding Centroids and Minimum Covering States in Planning

    Erez Karpas

    174-178

    PDF
  • Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria

    Michael Katz,Shirin Sohrabi

    179-183

    PDF
  • Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

    Thorsten Klößner,Marcel Steinmetz,Álvaro Torralba,Jörg Hoffmann

    184-192

    PDF
  • Cost Partitioning Heuristics for Stochastic Shortest Path Problems

    Thorsten Klößner,Florian Pommerening,Thomas Keller,Gabriele Röger

    193-202

    PDF
  • LM-Cut Heuristics for Optimal Linear Numeric Planning

    Ryo Kuroiwa,Alexander Shleyfman,J. Christopher Beck

    203-212

    PDF
  • Biased Exploration for Satisficing Heuristic Search

    Ryo Kuroiwa,J. Christopher Beck

    213-221

    PDF
  • Beam Search: Faster and Monotonic

    Sofia Lemons,Carlos Linares López,Robert C. Holte,Wheeler Ruml

    222-230

    PDF
  • On the Expressive Power of Planning Formalisms in Conjunction with LTL

    Songtuan Lin,Pascal Bercher

    231-240

    PDF
  • Generalized Linear Integer Numeric Planning

    Xiaoyou Lin,Qingliang Chen,Liangda Fang,Quanlong Guan,Weiqi Luo,Kaile Su

    241-251

    PDF
  • On Speeding Up Methods for Identifying Redundant Actions in Plans

    Jakub Med,Lukáš Chrpa

    252-260

    PDF
  • It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems

    Aakash,Indranil Saha

    44967

    PDF
  • Best-First Width Search for Lifted Classical Planning

    Augusto B. Corrêa,Jendrik Seipp

    45245

    PDF
  • Merge and Shrink Abstractions for Temporal Planning

    Martim Brandao,Amanda Coles,Andrew Coles,Jörg Hoffmann

    16-25

    PDF
  • Flexible FOND HTN Planning: A Complexity Analysis

    Dillon Z. Chen,Pascal Bercher

    26-34

    PDF
  • Crossword Puzzle Resolution via Monte Carlo Tree Search

    Lihan Chen,Jingping Liu,Sihang Jiang,Chao Wang,Jiaqing Liang,Yanghua Xiao,Sheng Zhang,Rui Song

    35-43

    PDF
  • Detecting Unsolvability Based on Separating Functions

    Remo Christen,Salomé Eriksson,Florian Pommerening,Malte Helmert

    44-52

    PDF
  • Task-Guided Inverse Reinforcement Learning under Partial Information

    Franck Djeumou,Murat Cubuktepe,Craig Lennon,Ufuk Topcu

    53-61

    PDF
  • Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width

    Dominik Drexler,Jendrik Seipp,Hector Geffner

    62-70

    PDF
  • Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

    Masood Feyzbakhsh Rankooh,Jussi Rintanen

    71-79

    PDF
  • Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search

    Daniel Fišer,Álvaro Torralba,Jörg Hoffmann

    80-89

    PDF

Industry and Applications Track

  • Deep Reinforcement Learning for a Multi-Objective Online Order Batching Problem

    Martijn Beeks,Reza Refaei Afshar,Yingqian Zhang,Remco Dijkman,Claudy van Dorst,Stijn de Looijer

    435-443

    PDF
  • OFFICERS: Operational Framework for Intelligent Crime-and-Emergency Response Scheduling

    Jonathan Chase,Siong Thye Goh,Phong Tran,Hoong Chuin Lau

    444-452

    PDF
  • Reinforcement Learning Approach to Solve Dynamic Bi-objective Police Patrol Dispatching and Rescheduling Problem

    Waldy Joe,Hoong Chuin Lau,Jonathan Pan

    453-461

    PDF
  • Hyper-Heuristics for Personnel Scheduling Domains

    Lucas Kletzander,Nysret Musliu

    462-470

    PDF
  • Planning Satellite Swarm Measurements for Earth Science Models: Comparing Constraint Processing and MILP Methods

    Rich Levinson,Samantha Niemoeller,Sreeja Nag,Vinay Ravindra

    471-479

    PDF
  • Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics

    Geert L. J. Pingen,Christian R. van Ommeren,Cornelis J. van Leeuwen,Ruben W. Fransen,Tijmen Elfrink,Yorick C. de Vries,Janarthanan Karunakaran,Emir Demirović,Neil Yorke-Smith

    480-489

    PDF
  • Building Resource-Dependent Conditional Plans for an Earth Monitoring Satellite

    Cédric Pralet,David Doose,Julien Anxionnat,Jérémie Pouly

    490-498

    PDF
  • Joint Pricing and Matching for City-Scale Ride-Pooling

    Sanket Shah,Meghna Lowalekar,Pradeep Varakantham

    499-507

    PDF
  • RADAR-X: An Interactive Mixed Initiative Planning Interface Pairing Contrastive Explanations and Revised Plan Suggestions

    Karthik Valmeekam,Sarath Sreedharan,Sailik Sengupta,Subbarao Kambhampati

    508-517

    PDF
  • Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander

    Daniel Wang,Joseph A. Russino,Connor Basich,Steve Chien

    518-526

    PDF
  • Stochastic Resource Optimization over Heterogeneous Graph Neural Networks for Failure-Predictive Maintenance Scheduling

    Zheyuan Wang,Matthew Gombolay

    527-536

    PDF
  • An End-to-End Automatic Cache Replacement Policy Using Deep Reinforcement Learning

    Yang Zhou,Fang Wang,Zhan Shi,Dan Feng

    537-545

    PDF

Planning and Learning Track

  • Verifiable and Compositional Reinforcement Learning Systems

    Cyrus Neary,Christos Verginis,Murat Cubuktepe,Ufuk Topcu

    615-623

    PDF
  • Learning Multi-Agent Action Coordination via Electing First-Move Agent

    Jingqing Ruan,Linghui Meng,Xuantang Xiong,Dengpeng Xing,Bo Xu

    624-628

    PDF
  • Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits

    Simon Ståhlberg,Blai Bonet,Hector Geffner

    629-637

    PDF
  • Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling

    Pierre Tassel,Benjamin Kovács,Martin Gebser,Konstantin Schekotihin,Wolfgang Kohlenbrein,Philipp Schrott-Kostwein

    638-646

    PDF
  • Active Grammatical Inference for Non-Markovian Planning

    Noah Topper,George Atia,Ashutosh Trivedi,Alvaro Velasquez

    647-651

    PDF
  • Multi-Agent Tree Search with Dynamic Reward Shaping

    Alvaro Velasquez,Brett Bissey,Lior Barak,Daniel Melcer,Andre Beckus,Ismail Alkhouri,George Atia

    652-661

    PDF
  • DOMA: Deep Smooth Trajectory Generation Learning for Real-Time UAV Motion Planning

    Jin Yu,Haiyin Piao,Yaqing Hou,Li Mo,Xin Yang,Deyun Zhou

    662-666

    PDF
  • Is Policy Learning Overrated?: Width-Based Planning and Active Learning for Atari

    Benjamin Ayton,Masataro Asai

    547-555

    PDF
  • Tuning the Hyperparameters of Anytime Planning: A Metareasoning Approach with Deep Reinforcement Learning

    Abhinav Bhatia,Justin Svegliato,Samer B. Nashed,Shlomo Zilberstein

    556-564

    PDF
  • Distributed Fleet Management in Noisy Environments via Model-Predictive Control

    Simon Bøgh,Peter Gjøl Jensen,Martin Kristjansen,Kim Guldstrand Larsen,Ulrik Nyman

    565-573

    PDF
  • Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning

    Taylor Dohmen,Noah Topper,George Atia,Andre Beckus,Ashutosh Trivedi,Alvaro Velasquez

    574-582

    PDF
  • Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods

    Patrick Ferber,Florian Geißer,Felipe Trevizan,Malte Helmert,Jörg Hoffmann

    583-587

    PDF
  • Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators

    Clement Gehring,Masataro Asai,Rohan Chitnis,Tom Silver,Leslie Kaelbling,Shirin Sohrabi,Michael Katz

    588-596

    PDF
  • TempAMLSI: Temporal Action Model Learning Based on STRIPS Translation

    Maxence Grand,Damien Pellier,Humbert Fiorino

    597-605

    PDF
  • Beyond Value: CheckList for Testing Inferences in Planning-Based RL

    Kin-Ho Lam,Delyar Tabatabai,Jed Irvine,Donald Bertucci,Anita Ruangrotsakun,Minsuk Kahng,Alan Fern

    606-614

    PDF

Human-Aware Planning and Scheduling Track

  • A Network Flow Interpretation of Robust Goal Legibility in Path Finding

    Sara Bernardini,Fabio Fagnani,Santiago Franco,Alexandra Neacsu

    668-677

    PDF
  • Actor-Focused Interactive Visualization for AI Planning

    Gabriel Dias Cantareira,Gerard Canal,Rita Borgo

    678-686

    PDF
  • Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study

    Rebecca Eifler,Martim Brandao,Amanda Coles,Jeremy Frank,Jörg Hoffmann

    687-691

    PDF
  • Conflict-Based Search for Explainable Multi-Agent Path Finding

    Justin Kottinger,Shaull Almagor,Morteza Lahijanian

    692-700

    PDF
  • VizXP: A Visualization Framework for Conveying Explanations to Users in Model Reconciliation Problems

    Ashwin Kumar,Stylianos Loukas Vasileiou,Melanie Bancilhon,Alvitta Ottley,William Yeoh

    701-709

    PDF
  • Explaining Preference-Driven Schedules: The EXPRES Framework

    Alberto Pozanco,Francesca Mosca,Parisa Zehtabi,Daniele Magazzeni,Sarit Kraus

    710-718

    PDF
  • Resolving Misconceptions about the Plans of Agents via Theory of Mind

    Maayan Shvo,Toryn Q. Klassen,Sheila A. McIlraith

    719-729

    PDF
  • Anxiety-Sensitive Planning: From Formal Foundations to Algorithms and Applications

    Loïs Vanhée,Laurent Jeanpierre,Abdel-Illah Mouaddib

    730-740

    PDF

Primary Sidebar