• 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
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the International Conference on Automated Planning and Scheduling, 30 /

Book One

Main Track

  • Bounded Suboptimal Path Planning with Compressed Path Databases

    Shizhe Zhao,Mattia Chiari,Adi Botea,Alfonso E. Gerevini,Daniel Harabor,Alessandro Saetti,Peter J. Stuckey

    333-341

    PDF
  • Multi-Agent Path Finding with Mutex Propagation

    Han Zhang,Jiaoyang Li,Pavel Surynek,Sven Koenig,T. K. Satish Kumar

    323-332

    PDF
  • Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty

    Matteo Zavatteri,Romeo Rizzi,Tiziano Villa

    314-322

    PDF
  • New Valid Inequalities in Branch-and-Cut-and-Price for Multi-Agent Path Finding

    Edward Lam,Pierre Le Bodic

    184-192

    PDF
  • Analyzing and Avoiding Pathological Behavior in Parallel Best-First Search

    Ryo Kuroiwa,Alex Fukunaga

    175-183

    PDF
  • New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding

    Jiaoyang Li,Graeme Gange,Daniel Harabor,Peter J. Stuckey,Hang Ma,Sven Koenig

    193-201

    PDF
  • Efficient Robot Planning for Achieving Multiple Independent Partially Observable Tasks That Evolve over Time

    Anahita Mohseni-Kabir,Manuela Veloso,Maxim Likhachev

    202-211

    PDF
  • On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs

    Bernhard Nebel

    212-216

    PDF
  • Convex Hull Monte-Carlo Tree-Search

    Michael Painter,Bruno Lacerda,Nick Hawes

    217-225

    PDF
  • Search-Guidance Mechanisms for Numeric Planning Through Subgoaling Relaxation

    Enrico Scala,Alessandro Saetti,Ivan Serina,Alfonso E. Gerevini

    226-234

    PDF
  • POMDP + Information-Decay: Incorporating Defender’s Behaviour in Autonomous Penetration Testing

    Jonathon Schwartz,Hanna Kurniawati,Edwin El-Mahassni

    235-243

    PDF
  • Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement

    Jendrik Seipp,Samuel von Allmen,Malte Helmert

    244-248

    PDF
  • Solving the Watchman Route Problem on a Grid with Heuristic Search

    Shawn Seiref,Tamir Jaffey,Margarita Lopatin,Ariel Felner

    249-257

    PDF
  • Privacy Preserving Planning in Stochastic Environments

    Guy Shani,Roni Stern,Tommy Hefner

    258-262

    PDF
  • When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search

    David Speck,Florian Geißer,Robert Mattmüller

    263-271

    PDF
  • TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions

    Sarath Sreedharan,Siddharth Srivastava,Subbarao Kambhampati

    272-280

    PDF
  • Predicting the Effectiveness of Bidirectional Heuristic Search

    Nathan R. Sturtevant,Shahaf Shperberg,Ariel Felner,Jingwei Chen

    281-290

    PDF
  • Computing Close to Optimal Weighted Shortest Paths in Practice

    Nguyet Tran,Michael J. Dinneen,Simone Linz

    291-299

    PDF
  • Revisiting Bounded-Suboptimal Safe Interval Path Planning

    Konstantin Yakovlev,Anton Andreychuk,Roni Stern

    300-304

    PDF
  • Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs

    Rongjie Yan,Yupeng Zhou,Anyu Cai,Changwen Li,Yige Yan,Minghao Yin

    305-313

    PDF
  • Sequencing Operator Counts with State-Space Search

    Wesley L. Kaizer,André G. Pereira,Marcus Ritt

    166-174

    PDF
  • Algorithm Selection for Optimal Multi-Agent Pathfinding

    Omri Kaduri,Eli Boyarski,Roni Stern

    161-165

    PDF
  • Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks

    Luke Hunsberger,Roberto Posenato

    152-160

    PDF
  • Observation Decoding with Sensor Models: Recognition Tasks via Classical Planning

    Diego Aineto,Sergio Jimenez,Eva Onaindia

    45249

    PDF
  • Hierarchical Graph Traversal for Aggregate k Nearest Neighbors Search in Road Networks

    Tenindra Abeywickrama,Muhammad Aamir Cheema,Sabine Storandt

    44967

    PDF
  • Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains

    Benjamin Aminof,Giuseppe De Giacomo,Sasha Rubin

    20-28

    PDF
  • Probabilistic Robust Multi-Agent Path Finding

    Dor Atzmon,Roni Stern,Ariel Felner,Nathan R. Sturtevant,Sven Koenig

    29-37

    PDF
  • Through the Lens of Sequence Submodularity

    Sara Bernardini,Fabio Fagnani,Chiara Piacentini

    38-47

    PDF
  • Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications

    Krishnendu Chatterjee,Martin Chmelík,Deep Karkhanis,Petr Novotný,Amélie Royer

    48-56

    PDF
  • Adaptive Informative Path Planning with Multimodal Sensing

    Shushman Choudhury,Nate Gruver,Mykel J. Kochenderfer

    57-65

    PDF
  • Multi-Tier Automated Planning for Adaptive Behavior

    Daniel Ciolek,Nicolás D'Ippolito,Alberto Pozanco,Sebastian Sardiña

    66-74

    PDF
  • Solving the Longest Simple Path Problem with Heuristic Search

    Yossi Cohen,Roni Stern,Ariel Felner

    75-79

    PDF
  • Lifted Successor Generation Using Query Optimization Techniques

    Augusto B. Corrêa,Florian Pommerening,Malte Helmert,Guillem Francès

    80-89

    PDF
  • Certified Unsolvability for SAT Planning with Property Directed Reachability

    Salomé Eriksson,Malte Helmert

    90-100

    PDF
  • EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations

    Francesco Fabiano,Alessandro Burigana,Agostino Dovier,Enrico Pontelli

    101-109

    PDF
  • Solving K-MDPs

    Jonathan Ferrer-Mestres,Thomas G. Dietterich,Olivier Buffet,Iadine Chadès

    110-118

    PDF
  • A Novel Lookahead Strategy for Delete Relaxation Heuristics in Greedy Best-First Search

    Maximilian Fickert

    119-123

    PDF
  • Strengthening Potential Heuristics with Mutexes and Disambiguations

    Daniel Fišer,Rostislav Horčík,Antonín Komenda

    124-133

    PDF
  • Online Computation of Euclidean Shortest Paths in Two Dimensions

    Ryan Hechenberger,Peter J Stuckey,Daniel Harabor,Pierre Le Bodic,Muhammad Aamir Cheema

    134-142

    PDF
  • A Simple and Fast Bi-Objective Search Algorithm

    Carlos Hernández Ulloa,William Yeoh,Jorge A. Baier,Han Zhang,Luis Suazo,Sven Koenig

    143-151

    PDF

Novel Applications

  • New Developments for Robert – Assisting Novice Users Even Better in DIY Projects

    Gregor Behnke,Pascal Bercher,Matthias Kraus,Marvin Schiller,Kristof Mickeleit,Timo Häge,Michael Dorna,Michael Dambier,Dietrich Manstetten,Wolfgang Minker,Birte Glimm,Susanne Biundo

    343-347

    PDF
  • Scheduling with Complex Consumptive Resources for a Planetary Rover

    Wayne Chi,Steve Chien,Jagriti Agrawal

    348-356

    PDF
  • Solving the Test Laboratory Scheduling Problem with Variable Task Grouping

    Philipp Danzinger,Tobias Geibinger,Florian Mischek,Nysret Musliu

    357-365

    PDF
  • Online Traffic Signal Control through Sample-Based Constrained Optimization

    Srishti Dhamija,Alolika Gon,Pradeep Varakantham,William Yeoh

    366-374

    PDF
  • Driver Activity Recognition by Means of Temporal HTN Planning

    Juan Fernandez-Olivares,Raul Perez

    375-383

    PDF
  • Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty

    Florian Geißer,Guillaume Povéda,Felipe Trevizan,Manon Bondouy,Florent Teichteil-Königsbuch,Sylvie Thiébaux

    384-393

    PDF
  • Deep Reinforcement Learning Approach to Solve Dynamic Vehicle Routing Problem with Stochastic Customers

    Waldy Joe,Hoong Chuin Lau

    394-402

    PDF
  • Exploring Context-Free Languages via Planning: The Case for Automating Machine Learning

    Michael Katz,Parikshit Ram,Shirin Sohrabi,Octavian Udrea

    403-411

    PDF
  • An AI-Based Planning Framework for HAPS in a Time-Varying Environment

    Jane Jean Kiam,Enrico Scala,Miquel Ramirez Javega,Axel Schulte

    412-420

    PDF
  • Solving Large Real-Life Bus Driver Scheduling Problems with Complex Break Constraints

    Lucas Kletzander,Nysret Musliu

    421-429

    PDF

Humans and Robotics

  • A Decentralised Strategy for Heterogeneous AUV Missions via Goal Distribution and Temporal Planning

    Yaniel Carreno,Èric Pairet,Yvan Petillot,Ronald P. A. Petrick

    431-439

    PDF
  • PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via Optimistic Adaptive Planning

    Caelan Reed Garrett,Tomás Lozano-Pérez,Leslie Pack Kaelbling

    440-448

    PDF
  • Generating Explanations for Temporal Logic Planner Decisions

    Daniel Kasenberg,Ravenna Thielstrom,Matthias Scheutz

    449-458

    PDF
  • Real Time Crowd Navigation from First Principles of Probability Theory

    Peter Trautman,Karankumar Patel

    459-467

    PDF

Knowledge Engineering

  • Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models

    Alan Lindsay,Santiago Franco,Rubiya Reba,Thomas L. McCluskey

    469-477

    PDF
  • Integrating Acting, Planning, and Learning in Hierarchical Operational Models

    Sunandita Patra,James Mason,Amit Kumar,Malik Ghallab,Paolo Traverso,Dana Nau

    478-487

    PDF
  • – D3WA+ – A Case Study of XAIP in a Model Acquisition Task for Dialogue Planning

    Sarath Sreedharan,Tathagata Chakraborti,Christian Muise,Yasaman Khazaeni,Subbarao Kambhampati

    488-497

    PDF

Planning and Learning

  • We Mind Your Well-Being: Preventing Depression in Uncertain Social Networks by Sequential Interventions

    Aye Phyu Phyu Aung,Xinrun Wang,Bo An,Xiaoli Li

    499-507

    PDF
  • Learning Sequences of Approximations for Hierarchical Motion Planning

    Martim Brandão,Ioannis Havoutis

    508-516

    PDF
  • Imitation Learning over Heterogeneous Agents with Restraining Bolts

    Giuseppe De Giacomo,Marco Favorito,Luca Iocchi,Fabio Patrizi

    517-521

    PDF
  • Learning Neural Search Policies for Classical Planning

    Pawel Gomoluch,Dalal Alrajeh,Alessandra Russo,Antonio Bucchiarone

    522-530

    PDF
  • Learning Model Parameters for Decentralized Schedule-Driven Traffic Control

    Hsu-Chieh Hu,Stephen F. Smith

    531-539

    PDF
  • Symbolic Plans as High-Level Instructions for Reinforcement Learning

    León Illanes,Xi Yan,Rodrigo Toro Icarte,Sheila A. McIlraith

    540-550

    PDF
  • Reinforcement Learning for Zone Based Multiagent Pathfinding under Uncertainty

    Jiajing Ling,Tarun Gupta,Akshat Kumar

    551-559

    PDF
  • Utilising Uncertainty for Efficient Learning of Likely-Admissible Heuristics

    Ofir Marom,Benjamin Rosman

    560-568

    PDF
  • Generating and Exploiting Cost Predictions in Heuristic State-Space Planning

    Francesco Percassi,Alfonso E. Gerevini,Enrico Scala,Ivan Serina,Mauro Vallati

    569-573

    PDF
  • Learning Domain-Independent Planning Heuristics with Hypergraph Networks

    William Shen,Felipe Trevizan,Sylvie Thiébaux

    574-584

    PDF
  • Guidelines for Action Space Definition in Reinforcement Learning-Based Traffic Signal Control Systems

    Maxime Treca,Julian Garbiso,Dominique Barth

    585-589

    PDF
  • Joint Inference of Reward Machines and Policies for Reinforcement Learning

    Zhe Xu,Ivan Gavran,Yousef Ahmad,Rupak Majumdar,Daniel Neider,Ufuk Topcu,Bo Wu

    590-598

    PDF

Primary Sidebar