researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2024
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Alberto Pozanco
Alvaro Velasquez
Ariel Felner
Clemens Büchner
Daniel Borrajo
Daniel Fiser
Daniel Harabor
Daniel Höller
David Speck 0001
Enrico Scala
Erez Karpas
Florian Pommerening
Francesco Percassi
Jendrik Seipp
Jiaoyang Li 0001
Malte Helmert
Marcel Steinmetz
Maxim Likhachev
Sven Koenig
Sylvie Thiébaux
Filter by Top terms
[+]
OR
AND
NOT
1
action
agent
approach
complexity
domains
language
large
learning
models
multi
objective
path
plan
planning
policies
policy
reinforcement
scheduling
search
task
ICAPS (icaps)
Editions
Publications
Viewing Publication 1 - 83 from 83
2024
Unifying and Certifying Top-Quality Planning
Michael Katz 0001
,
Junkyu Lee 0001
,
Shirin Sohrabi
.
icaps 2024
:
319-323
[doi]
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning
David Speck 0001
,
Daniel Gnad 0001
.
icaps 2024
:
546-554
[doi]
Tightest Admissible Shortest Path
Eyal Weiss 0001
,
Ariel Felner
,
Gal A. Kaminka
.
icaps 2024
:
643-652
[doi]
Action Model Learning from Noisy Traces: a Probabilistic Approach
Leonardo Lamanna 0001
,
Luciano Serafini
.
icaps 2024
:
342-350
[doi]
A Fast Algorithm for k-Memory Messaging Scheme Design in Dynamic Environments with Uncertainty
Zhikang Fan 0001
,
Weiran Shen
.
icaps 2024
:
187-195
[doi]
A Counter-Example Based Approach to Probabilistic Conformant Planning
Xiaodi Zhang 0002
,
Alban Grastien
,
Charles Gretton
.
icaps 2024
:
689-697
[doi]
Bounded-Suboptimal Weight-Constrained Shortest-Path Search via Efficient Representation of Paths
Han Zhang 0018
,
Oren Salzman
,
Ariel Felner
,
T. K. Satish Kumar
,
Sven Koenig
.
icaps 2024
:
680-688
[doi]
Specifying Goals to Deep Neural Networks with Answer Set Programming
Forest Agostinelli
,
Rojina Panta
,
Vedant Khandelwal
.
icaps 2024
:
2-10
[doi]
Exact Multi-objective Path Finding with Negative Weights
Saman Ahmadi
,
Nathan R. Sturtevant
,
Daniel Harabor
,
Mahdi Jalili
.
icaps 2024
:
11-19
[doi]
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification
Gregor Behnke
,
Marcel Steinmetz
.
icaps 2024
:
20-24
[doi]
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024
Sara Bernardini
,
Christian Muise
, editors,
AAAI Press,
2024.
[doi]
Non-deterministic Planning for Hyperproperty Verification
Raven Beutner
,
Bernd Finkbeiner
.
icaps 2024
:
25-30
[doi]
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
Blai Bonet
,
Dominik Drexler
,
Hector Geffner
.
icaps 2024
:
31-39
[doi]
Abstraction Heuristics for Factored Tasks
Clemens Büchner
,
Patrick Ferber
,
Jendrik Seipp
,
Malte Helmert
.
icaps 2024
:
40-49
[doi]
Taming Discretised PDDL+ through Multiple Discretisations
Matteo Cardellini
,
Marco Maratea
,
Francesco Percassi
,
Enrico Scala
,
Mauro Vallati
.
icaps 2024
:
59-67
[doi]
The Story So Far on Narrative Planning
Rogelio E. Cardona-Rivera
,
Arnav Jhala
,
Julie Porteous
,
R. Michael Young
.
icaps 2024
:
489-499
[doi]
Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning
Dillon Z. Chen
,
Felipe W. Trevizan
,
Sylvie Thiébaux
.
icaps 2024
:
68-76
[doi]
More Flexible Proximity Wildcards Path Planning with Compressed Path Databases
Xi Chen
,
Yue Zhang
,
Yonggang Zhang
.
icaps 2024
:
77-85
[doi]
On Verifying Linear Execution Strategies in Planning Against Nature
Lukás Chrpa
,
Erez Karpas
.
icaps 2024
:
86-94
[doi]
Planning and Acting While the Clock Ticks
Andrew Coles
,
Erez Karpas
,
Andrey Lavrinenko
,
Wheeler Ruml
,
Solomon Eyal Shimony
,
Shahaf S. Shperberg
.
icaps 2024
:
95-103
[doi]
Planning with Object Creation
Augusto B. Corrêa
,
Giuseppe De Giacomo
,
Malte Helmert
,
Sasha Rubin
.
icaps 2024
:
104-113
[doi]
Multi-Objective Electric Vehicle Route and Charging Planning with Contraction Hierarchies
Marek Cuchý
,
Jirí Vokrínek
,
Michal Jakob
.
icaps 2024
:
114-122
[doi]
Combined Task and Motion Planning via Sketch Decompositions
Magí Dalmau-Moreno
,
Néstor García
,
Vicenç Gómez
,
Hector Geffner
.
icaps 2024
:
123-132
[doi]
Learning Quadruped Locomotion Policies Using Logical Rules
David DeFazio
,
Yohei Hayamizu
,
Shiqi Zhang 0001
.
icaps 2024
:
142-150
[doi]
Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity
Simon Dold
,
Malte Helmert
.
icaps 2024
:
151-161
[doi]
New Fuzzing Biases for Action Policy Testing
Jan Eisenhut
,
Xandra Schuler
,
Daniel Fiser
,
Daniel Höller
,
Maria Christakis
,
Jörg Hoffmann 0001
.
icaps 2024
:
162-167
[doi]
Termination Properties of Transition Rules for Indirect Effects
Mojtaba Elahi
,
Saurabh Fadnis
,
Jussi Rintanen
.
icaps 2024
:
178-186
[doi]
SLAMuZero: Plan and Learn to Map for Joint SLAM and Navigation
Bowen Fang
,
Xu Chen
,
Zhengkun Pan
,
Xuan Di
.
icaps 2024
:
196-200
[doi]
A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution
Ying Feng
,
Adittyo Paul
,
Zhe Chen 0016
,
Jiaoyang Li 0001
.
icaps 2024
:
201-209
[doi]
Towards Feasible Higher-Dimensional Potential Heuristics
Daniel Fiser
,
Marcel Steinmetz
.
icaps 2024
:
210-220
[doi]
Progressive State Space Disaggregation for Infinite Horizon Dynamic Programming
Orso Forghieri
,
Hind Castel
,
Emmanuel Hyon
,
Erwan Le Pennec
.
icaps 2024
:
221-229
[doi]
JaxPlan and GurobiPlan: Optimization Baselines for Replanning in Discrete and Mixed Discrete-Continuous Probabilistic Domains
Michael Gimelfarb
,
Ayal Taitler
,
Scott Sanner
.
icaps 2024
:
230-238
[doi]
Formal Representations of Classical Planning Domains
Claudia Grundke
,
Gabriele Röger
,
Malte Helmert
.
icaps 2024
:
239-248
[doi]
Safe Explicable Planning
Akkamahadevi Hanni
,
Andrew Boateng
,
Yu Zhang 0055
.
icaps 2024
:
249-257
[doi]
Replanning in Advance for Instant Delay Recovery in Multi-Agent Applications: Rerouting Trains in a Railway Hub
Issa K. Hanou
,
Devin Wild Thomas
,
Wheeler Ruml
,
Mathijs de Weerdt
.
icaps 2024
:
258-266
[doi]
An Analysis of the Decidability and Complexity of Numeric Additive Planning
Hayyan Helal
,
Gerhard Lakemeyer
.
icaps 2024
:
267-275
[doi]
Expressiveness of Graph Neural Networks in Planning Domains
Rostislav Horcík
,
Gustav Sír
.
icaps 2024
:
281-289
[doi]
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form
Luke Hunsberger
,
Roberto Posenato
.
icaps 2024
:
290-300
[doi]
Versatile Cost Partitioning with Exact Sensitivity Analysis
Paul Höft
,
David Speck 0001
,
Florian Pommerening
,
Jendrik Seipp
.
icaps 2024
:
276-280
[doi]
Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation Learning
Zhaoxun Ju
,
Chao Yang
,
Fuchun Sun 0001
,
Hongbo Wang
,
Yu Qiao
.
icaps 2024
:
301-309
[doi]
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings
Rushang Karia
,
Pulkit Verma 0001
,
Alberto Speranzon
,
Siddharth Srivastava 0001
.
icaps 2024
:
310-318
[doi]
PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation
Anas El Kouaiti
,
Francesco Percassi
,
Alessandro Saetti
,
Thomas Leo McCluskey
,
Mauro Vallati
.
icaps 2024
:
168-177
[doi]
Explaining Plan Quality Differences
Benjamin Krarup
,
Amanda Jane Coles
,
Derek Long
,
David E. Smith 0001
.
icaps 2024
:
324-332
[doi]
Planning with a Learned Policy Basis to Optimally Solve Complex Tasks
David Kuric
,
Guillermo Infante
,
Vicenç Gómez
,
Anders Jonsson 0001
,
Herke van Hoof
.
icaps 2024
:
333-341
[doi]
Neural Combinatorial Optimization on Heterogeneous Graphs: An Application to the Picker Routing Problem in Mixed-shelves Warehouses
Laurin Luttmann
,
Lin Xie
.
icaps 2024
:
351-359
[doi]
Investigating Large Neighbourhood Search for Bus Driver Scheduling
Tommaso Mannelli Mazzoli
,
Lucas Kletzander
,
Pascal Van Hentenryck
,
Nysret Musliu
.
icaps 2024
:
360-368
[doi]
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity
Jakub Med
,
Lukás Chrpa
,
Michael Morak
,
Wolfgang Faber 0001
.
icaps 2024
:
369-377
[doi]
Preference Explanation and Decision Support for Multi-Objective Real-World Test Laboratory Scheduling
Florian Mischek
,
Nysret Musliu
.
icaps 2024
:
378-386
[doi]
Safe Learning of PDDL Domains with Conditional Effects
Argaman Mordoch
,
Enrico Scala
,
Roni Stern
,
Brendan Juba
.
icaps 2024
:
387-395
[doi]
SKATE : Successive Rank-based Task Assignment for Proactive Online Planning
Déborah Conforto Nedelmann
,
Jérôme Lacan
,
Caroline P. C. Chanel
.
icaps 2024
:
396-404
[doi]
Incremental Ordering for Scheduling Problems
Stefan Neubert
,
Katrin Casel
.
icaps 2024
:
405-413
[doi]
Lookahead Pathology in Monte-Carlo Tree Search
Khoi P. N. Nguyen
,
Raghuram Ramanujan
.
icaps 2024
:
414-422
[doi]
Large Language Models as Planning Domain Generators
James T. Oswald
,
Kavitha Srinivas
,
Harsha Kokel
,
Junkyu Lee 0001
,
Michael Katz 0001
,
Shirin Sohrabi
.
icaps 2024
:
423-431
[doi]
On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
Vishal Pallagani
,
Bharath C. Muppasani
,
Kaushik Roy 0009
,
Francesco Fabiano
,
Andrea Loreggia
,
Keerthiram Murugesan
,
Biplav Srivastava
,
Francesca Rossi 0001
,
Lior Horesh
,
Amit P. Sheth
.
icaps 2024
:
432-444
[doi]
Planning Domain Simulation: An Interactive System for Plan Visualisation
Emanuele De Pellegrin
,
Ronald P. A. Petrick
.
icaps 2024
:
133-141
[doi]
Transition Landmarks from Abstraction Cuts
Florian Pommerening
,
Clemens Büchner
,
Thomas Keller 0001
.
icaps 2024
:
445-454
[doi]
Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search
Alberto Pozanco
,
Álvaro Torralba
,
Daniel Borrajo
.
icaps 2024
:
455-463
[doi]
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments
Abhinav Rajvanshi
,
Karan Sikka
,
Xiao Lin
,
Bhoram Lee
,
Han-Pang Chiu
,
Alvaro Velasquez
.
icaps 2024
:
464-474
[doi]
Online Control of Adaptive Large Neighborhood Search Using Deep Reinforcement Learning
Robbert Reijnen
,
Yingqian Zhang 0001
,
Hoong Chuin Lau
,
Zaharah Allah Bukhsh
.
icaps 2024
:
475-483
[doi]
Map Connectivity and Empirical Hardness of Grid-based Multi-Agent Pathfinding Problem
Jingyao Ren
,
Eric Ewing
,
T. K. Satish Kumar
,
Sven Koenig
,
Nora Ayanian
.
icaps 2024
:
484-488
[doi]
Learning General Policies for Planning through GPT Models
Nicholas Rossetti
,
Massimiliano Tummolo
,
Alfonso Emilio Gerevini
,
Luca Putelli
,
Ivan Serina
,
Mattia Chiari
,
Matteo Olivato
.
icaps 2024
:
500-508
[doi]
Efficiently Computing Transitions in Cartesian Abstractions
Jendrik Seipp
.
icaps 2024
:
509-513
[doi]
Imitating Cost-Constrained Behaviors in Reinforcement Learning
Qian Shao
,
Pradeep Varakantham
,
Shih-Fen Cheng
.
icaps 2024
:
514-522
[doi]
Accelerating Search-Based Planning for Multi-Robot Manipulation by Leveraging Online-Generated Experiences
Yorai Shaoul
,
Itamar Mishani
,
Maxim Likhachev
,
Jiaoyang Li 0001
.
icaps 2024
:
523-531
[doi]
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents
Yash Shukla
,
Tanushree Burman
,
Abhishek Kulkarni
,
Robert Wright
,
Alvaro Velasquez
,
Jivko Sinapov
.
icaps 2024
:
532-540
[doi]
Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework
Silvan Sievers
,
Thomas Keller 0001
,
Gabriele Röger
.
icaps 2024
:
541-545
[doi]
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning
Marcel Steinmetz
,
Sylvie Thiébaux
,
Daniel Höller
,
Florent Teichteil-Königsbuch
.
icaps 2024
:
555-564
[doi]
Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent
Paula Stocco
,
Suhas Chundi
,
Arec L. Jamgochian
,
Mykel J. Kochenderfer
.
icaps 2024
:
565-569
[doi]
Robust Multi-Agent Pathfinding with Continuous Time
Wen Jun Tan
,
Xueyan Tang
,
Wentong Cai 0001
.
icaps 2024
:
570-578
[doi]
Multi-Robot Connected Fermat Spiral Coverage
Jingtao Tang
,
Hang Ma 0001
.
icaps 2024
:
579-587
[doi]
Multi-Agent Temporal Task Solving and Plan Optimization
J. Caballero Testón
,
María D. R.-Moreno
.
icaps 2024
:
50-58
[doi]
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata
Rasmus G. Tollund
,
Nicklas S. Johansen
,
Kristian Ø. Nielsen
,
Álvaro Torralba
,
Kim G. Larsen
.
icaps 2024
:
588-596
[doi]
Improving Learnt Local MAPF Policies with Heuristic Search
Rishi Veerapaneni
,
Qian Wang
,
Kevin Ren
,
Arthur Jakobsson
,
Jiaoyang Li 0001
,
Maxim Likhachev
.
icaps 2024
:
597-606
[doi]
Neural Action Policy Safety Verification: Applicablity Filtering
Marcel Vinzent
,
Jörg Hoffmann 0001
.
icaps 2024
:
607-612
[doi]
Learning Generalised Policies for Numeric Planning
Ryan Xiao Wang
,
Sylvie Thiébaux
.
icaps 2024
:
633-642
[doi]
MAPF in 3D Warehouses: Dataset and Analysis
Qian Wang
,
Rishi Veerapaneni
,
Yu Wu
,
Jiaoyang Li 0001
,
Maxim Likhachev
.
icaps 2024
:
623-632
[doi]
Efficient Approximate Search for Multi-Objective Multi-Agent Path Finding
Fangji Wang
,
Han Zhang 0018
,
Sven Koenig
,
Jiaoyang Li 0001
.
icaps 2024
:
613-622
[doi]
Neuro-Symbolic Learning of Lifted Action Models from Visual Traces
Kai Xi
,
Stephen Gould
,
Sylvie Thiébaux
.
icaps 2024
:
653-662
[doi]
Control in Stochastic Environment with Delays: A Model-based Reinforcement Learning Approach
Zhiyuan Yao
,
Ionut Florescu
,
Chihoon Lee
.
icaps 2024
:
663-670
[doi]
Contrastive Explanations of Centralized Multi-agent Optimization Solutions
Parisa Zehtabi
,
Alberto Pozanco
,
Ayala Bolch
,
Daniel Borrajo
,
Sarit Kraus
.
icaps 2024
:
671-679
[doi]
Improving the Efficiency and Efficacy of Multi-Agent Reinforcement Learning on Complex Railway Networks with a Local-Critic Approach
Yuan Zhang
,
Umashankar Deekshith
,
Jianhong Wang
,
Joschka Boedecker
.
icaps 2024
:
698-706
[doi]
Planning and Execution in Multi-Agent Path Finding: Models and Algorithms
Yue Zhang
,
Zhe Chen
,
Daniel Harabor
,
Pierre Le Bodic
,
Peter J. Stuckey
.
icaps 2024
:
707-715
[doi]
Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation
Itai Zilberstein
,
Ananya Rao
,
Matthew Salis
,
Steve Chien
.
icaps 2024
:
716-724
[doi]
Sign in
or
sign up
to see more results.