ICAPS

Publications

2024

Raven Beutner, Bernd Finkbeiner
Non-deterministic Planning for Hyperproperty Verification. ICAPS (2024)
Ryan Xiao Wang, Sylvie Thiébaux
Learning Generalised Policies for Numeric Planning. ICAPS (2024)
Akkamahadevi Hanni, Andrew Boateng, Yu Zhang
Safe Explicable Planning. ICAPS (2024)
Hayyan Helal, Gerhard Lakemeyer
An Analysis of the Decidability and Complexity of Numeric Additive Planning. ICAPS (2024)
Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert
Abstraction Heuristics for Factored Tasks. ICAPS (2024)
Daniel Fiser, Marcel Steinmetz
Towards Feasible Higher-Dimensional Potential Heuristics. ICAPS (2024)
Lukás Chrpa, Erez Karpas
On Verifying Linear Execution Strategies in Planning Against Nature. ICAPS (2024)
Stefan Neubert, Katrin Casel
Incremental Ordering for Scheduling Problems. ICAPS (2024)
Wen Jun Tan, Xueyan Tang, Wentong Cai
Robust Multi-Agent Pathfinding with Continuous Time. ICAPS (2024)
Luke Hunsberger, Roberto Posenato
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form. ICAPS (2024)
Zhaoxun Ju, Chao Yang, Fuchun Sun, Hongbo Wang, Yu Qiao
Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation Learning. ICAPS (2024)
Jendrik Seipp
Efficiently Computing Transitions in Cartesian Abstractions. ICAPS (2024)
Marcel Vinzent, Jörg Hoffmann
Neural Action Policy Safety Verification: Applicablity Filtering. ICAPS (2024)
Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg
Planning and Acting While the Clock Ticks. ICAPS (2024)
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
Taming Discretised PDDL+ through Multiple Discretisations. ICAPS (2024)
Jingyao Ren, Eric Ewing, T. K. Satish Kumar, Sven Koenig, Nora Ayanian
Map Connectivity and Empirical Hardness of Grid-based Multi-Agent Pathfinding Problem. ICAPS (2024)
Florian Mischek, Nysret Musliu
Preference Explanation and Decision Support for Multi-Objective Real-World Test Laboratory Scheduling. ICAPS (2024)
Kai Xi, Stephen Gould, Sylvie Thiébaux
Neuro-Symbolic Learning of Lifted Action Models from Visual Traces. ICAPS (2024)
Emanuele De Pellegrin, Ronald P. A. Petrick
Planning Domain Simulation: An Interactive System for Plan Visualisation. ICAPS (2024)
Yuan Zhang, Umashankar Deekshith, Jianhong Wang, Joschka Boedecker
Improving the Efficiency and Efficacy of Multi-Agent Reinforcement Learning on Complex Railway Networks with a Local-Critic Approach. ICAPS (2024)
Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. ICAPS (2024)
Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba
Safe Learning of PDDL Domains with Conditional Effects. ICAPS (2024)
Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-Pang Chiu, Alvaro Velasquez
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments. ICAPS (2024)
Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
Planning with Object Creation. ICAPS (2024)
Qian Wang, Rishi Veerapaneni, Yu Wu, Jiaoyang Li, Maxim Likhachev
MAPF in 3D Warehouses: Dataset and Analysis. ICAPS (2024)
Marek Cuchý, Jirí Vokrínek, Michal Jakob
Multi-Objective Electric Vehicle Route and Charging Planning with Contraction Hierarchies. ICAPS (2024)
Leonardo Lamanna, Luciano Serafini
Action Model Learning from Noisy Traces: a Probabilistic Approach. ICAPS (2024)
Saman Ahmadi, Nathan R. Sturtevant, Daniel Harabor, Mahdi Jalili
Exact Multi-objective Path Finding with Negative Weights. ICAPS (2024)
Ying Feng, Adittyo Paul, Zhe Chen, Jiaoyang Li
A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution. ICAPS (2024)
Rostislav Horcík, Gustav Sír
Expressiveness of Graph Neural Networks in Planning Domains. ICAPS (2024)
Tommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu
Investigating Large Neighbourhood Search for Bus Driver Scheduling. ICAPS (2024)
Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS (2024)
Rogelio E. Cardona-Rivera, Arnav Jhala, Julie Porteous, R. Michael Young
The Story So Far on Narrative Planning. ICAPS (2024)
Issa K. Hanou, Devin Wild Thomas, Wheeler Ruml, Mathijs de Weerdt
Replanning in Advance for Instant Delay Recovery in Multi-Agent Applications: Rerouting Trains in a Railway Hub. ICAPS (2024)
Xi Chen, Yue Zhang, Yonggang Zhang
More Flexible Proximity Wildcards Path Planning with Compressed Path Databases. ICAPS (2024)
Zhiyuan Yao, Ionut Florescu, Chihoon Lee
Control in Stochastic Environment with Delays: A Model-based Reinforcement Learning Approach. ICAPS (2024)
Benjamin Krarup, Amanda Jane Coles, Derek Long, David E. Smith
Explaining Plan Quality Differences. ICAPS (2024)
Bowen Fang, Xu Chen, Zhengkun Pan, Xuan Di
SLAMuZero: Plan and Learn to Map for Joint SLAM and Navigation. ICAPS (2024)
Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen
Termination Properties of Transition Rules for Indirect Effects. ICAPS (2024)
Rishi Veerapaneni, Qian Wang, Kevin Ren, Arthur Jakobsson, Jiaoyang Li, Maxim Likhachev
Improving Learnt Local MAPF Policies with Heuristic Search. ICAPS (2024)
Forest Agostinelli, Rojina Panta, Vedant Khandelwal
Specifying Goals to Deep Neural Networks with Answer Set Programming. ICAPS (2024)
Han Zhang, Oren Salzman, Ariel Felner, T. K. Satish Kumar, Sven Koenig
Bounded-Suboptimal Weight-Constrained Shortest-Path Search via Efficient Representation of Paths. ICAPS (2024)
Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents. ICAPS (2024)
Magí Dalmau-Moreno, Néstor García, Vicenç Gómez, Hector Geffner
Combined Task and Motion Planning via Sketch Decompositions. ICAPS (2024)
Michael Katz, Junkyu Lee, Shirin Sohrabi
Unifying and Certifying Top-Quality Planning. ICAPS (2024)
Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. ICAPS (2024)
Vishal Pallagani, Bharath C. Muppasani, Kaushik Roy, Francesco Fabiano, Andrea Loreggia, Keerthiram Murugesan, Biplav Srivastava, Francesca Rossi, Lior Horesh, Amit P. Sheth
On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS). ICAPS (2024)
Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati
PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation. ICAPS (2024)
David DeFazio, Yohei Hayamizu, Shiqi Zhang
Learning Quadruped Locomotion Policies Using Logical Rules. ICAPS (2024)
Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann
New Fuzzing Biases for Action Policy Testing. ICAPS (2024)