ICAPS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 83 from 83

2024

Unifying and Certifying Top-Quality PlanningMichael Katz 0001, Junkyu Lee 0001, Shirin Sohrabi. icaps 2024: 319-323 [doi]

Decoupled Search for the Masses: A Novel Task Transformation for Classical PlanningDavid Speck 0001, Daniel Gnad 0001. icaps 2024: 546-554 [doi]

Tightest Admissible Shortest PathEyal Weiss 0001, Ariel Felner, Gal A. Kaminka. icaps 2024: 643-652 [doi]

Action Model Learning from Noisy Traces: a Probabilistic ApproachLeonardo Lamanna 0001, Luciano Serafini. icaps 2024: 342-350 [doi]

A Fast Algorithm for k-Memory Messaging Scheme Design in Dynamic Environments with UncertaintyZhikang Fan 0001, Weiran Shen. icaps 2024: 187-195 [doi]

A Counter-Example Based Approach to Probabilistic Conformant PlanningXiaodi Zhang 0002, Alban Grastien, Charles Gretton. icaps 2024: 689-697 [doi]

Bounded-Suboptimal Weight-Constrained Shortest-Path Search via Efficient Representation of PathsHan 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 ProgrammingForest Agostinelli, Rojina Panta, Vedant Khandelwal. icaps 2024: 2-10 [doi]

Exact Multi-objective Path Finding with Negative WeightsSaman Ahmadi, Nathan R. Sturtevant, Daniel Harabor, Mahdi Jalili. icaps 2024: 11-19 [doi]

On the Computational Complexity of Stackelberg Planning and Meta-Operator VerificationGregor 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, 2024Sara Bernardini, Christian Muise, editors, AAAI Press, 2024. [doi]

Non-deterministic Planning for Hyperproperty VerificationRaven Beutner, Bernd Finkbeiner. icaps 2024: 25-30 [doi]

On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other PoliciesBlai Bonet, Dominik Drexler, Hector Geffner. icaps 2024: 31-39 [doi]

Abstraction Heuristics for Factored TasksClemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert. icaps 2024: 40-49 [doi]

Taming Discretised PDDL+ through Multiple DiscretisationsMatteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati. icaps 2024: 59-67 [doi]

The Story So Far on Narrative PlanningRogelio E. Cardona-Rivera, Arnav Jhala, Julie Porteous, R. Michael Young. icaps 2024: 489-499 [doi]

Return to Tradition: Learning Reliable Heuristics with Classical Machine LearningDillon Z. Chen, Felipe W. Trevizan, Sylvie Thiébaux. icaps 2024: 68-76 [doi]

More Flexible Proximity Wildcards Path Planning with Compressed Path DatabasesXi Chen, Yue Zhang, Yonggang Zhang. icaps 2024: 77-85 [doi]

On Verifying Linear Execution Strategies in Planning Against NatureLukás Chrpa, Erez Karpas. icaps 2024: 86-94 [doi]

Planning and Acting While the Clock TicksAndrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg. icaps 2024: 95-103 [doi]

Planning with Object CreationAugusto 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 HierarchiesMarek Cuchý, Jirí Vokrínek, Michal Jakob. icaps 2024: 114-122 [doi]

Combined Task and Motion Planning via Sketch DecompositionsMagí Dalmau-Moreno, Néstor García, Vicenç Gómez, Hector Geffner. icaps 2024: 123-132 [doi]

Learning Quadruped Locomotion Policies Using Logical RulesDavid DeFazio, Yohei Hayamizu, Shiqi Zhang 0001. icaps 2024: 142-150 [doi]

Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation ComplexitySimon Dold, Malte Helmert. icaps 2024: 151-161 [doi]

New Fuzzing Biases for Action Policy TestingJan 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 EffectsMojtaba Elahi, Saurabh Fadnis, Jussi Rintanen. icaps 2024: 178-186 [doi]

SLAMuZero: Plan and Learn to Map for Joint SLAM and NavigationBowen Fang, Xu Chen, Zhengkun Pan, Xuan Di. icaps 2024: 196-200 [doi]

A Real-Time Rescheduling Algorithm for Multi-robot Plan ExecutionYing Feng, Adittyo Paul, Zhe Chen 0016, Jiaoyang Li 0001. icaps 2024: 201-209 [doi]

Towards Feasible Higher-Dimensional Potential HeuristicsDaniel Fiser, Marcel Steinmetz. icaps 2024: 210-220 [doi]

Progressive State Space Disaggregation for Infinite Horizon Dynamic ProgrammingOrso 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 DomainsMichael Gimelfarb, Ayal Taitler, Scott Sanner. icaps 2024: 230-238 [doi]

Formal Representations of Classical Planning DomainsClaudia Grundke, Gabriele Röger, Malte Helmert. icaps 2024: 239-248 [doi]

Safe Explicable PlanningAkkamahadevi 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 HubIssa 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 PlanningHayyan Helal, Gerhard Lakemeyer. icaps 2024: 267-275 [doi]

Expressiveness of Graph Neural Networks in Planning DomainsRostislav Horcík, Gustav Sír. icaps 2024: 281-289 [doi]

Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable FormLuke Hunsberger, Roberto Posenato. icaps 2024: 290-300 [doi]

Versatile Cost Partitioning with Exact Sensitivity AnalysisPaul Höft, David Speck 0001, Florian Pommerening, Jendrik Seipp. icaps 2024: 276-280 [doi]

Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation LearningZhaoxun 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 SettingsRushang Karia, Pulkit Verma 0001, Alberto Speranzon, Siddharth Srivastava 0001. icaps 2024: 310-318 [doi]

PDDL+ Models for Deployable yet Effective Traffic Signal OptimisationAnas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati. icaps 2024: 168-177 [doi]

Explaining Plan Quality DifferencesBenjamin 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 TasksDavid 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 WarehousesLaurin Luttmann, Lin Xie. icaps 2024: 351-359 [doi]

Investigating Large Neighbourhood Search for Bus Driver SchedulingTommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu. icaps 2024: 360-368 [doi]

Weak and Strong Reversibility of Non-deterministic Actions: Universality and UniformityJakub 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 SchedulingFlorian Mischek, Nysret Musliu. icaps 2024: 378-386 [doi]

Safe Learning of PDDL Domains with Conditional EffectsArgaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba. icaps 2024: 387-395 [doi]

SKATE : Successive Rank-based Task Assignment for Proactive Online PlanningDéborah Conforto Nedelmann, Jérôme Lacan, Caroline P. C. Chanel. icaps 2024: 396-404 [doi]

Incremental Ordering for Scheduling ProblemsStefan Neubert, Katrin Casel. icaps 2024: 405-413 [doi]

Lookahead Pathology in Monte-Carlo Tree SearchKhoi P. N. Nguyen, Raghuram Ramanujan. icaps 2024: 414-422 [doi]

Large Language Models as Planning Domain GeneratorsJames 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 VisualisationEmanuele De Pellegrin, Ronald P. A. Petrick. icaps 2024: 133-141 [doi]

Transition Landmarks from Abstraction CutsFlorian Pommerening, Clemens Büchner, Thomas Keller 0001. icaps 2024: 445-454 [doi]

Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional SearchAlberto Pozanco, Álvaro Torralba, Daniel Borrajo. icaps 2024: 455-463 [doi]

SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New EnvironmentsAbhinav 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 LearningRobbert 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 ProblemJingyao Ren, Eric Ewing, T. K. Satish Kumar, Sven Koenig, Nora Ayanian. icaps 2024: 484-488 [doi]

Learning General Policies for Planning through GPT ModelsNicholas Rossetti, Massimiliano Tummolo, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina, Mattia Chiari, Matteo Olivato. icaps 2024: 500-508 [doi]

Efficiently Computing Transitions in Cartesian AbstractionsJendrik Seipp. icaps 2024: 509-513 [doi]

Imitating Cost-Constrained Behaviors in Reinforcement LearningQian Shao, Pradeep Varakantham, Shih-Fen Cheng. icaps 2024: 514-522 [doi]

Accelerating Search-Based Planning for Multi-Robot Manipulation by Leveraging Online-Generated ExperiencesYorai Shaoul, Itamar Mishani, Maxim Likhachev, Jiaoyang Li 0001. icaps 2024: 523-531 [doi]

Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning AgentsYash 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 FrameworkSilvan 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 PlanningMarcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch. icaps 2024: 555-564 [doi]

Addressing Myopic Constrained POMDP Planning with Recursive Dual AscentPaula Stocco, Suhas Chundi, Arec L. Jamgochian, Mykel J. Kochenderfer. icaps 2024: 565-569 [doi]

Robust Multi-Agent Pathfinding with Continuous TimeWen Jun Tan, Xueyan Tang, Wentong Cai 0001. icaps 2024: 570-578 [doi]

Multi-Robot Connected Fermat Spiral CoverageJingtao Tang, Hang Ma 0001. icaps 2024: 579-587 [doi]

Multi-Agent Temporal Task Solving and Plan OptimizationJ. Caballero Testón, María D. R.-Moreno. icaps 2024: 50-58 [doi]

Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed AutomataRasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen. icaps 2024: 588-596 [doi]

Improving Learnt Local MAPF Policies with Heuristic SearchRishi Veerapaneni, Qian Wang, Kevin Ren, Arthur Jakobsson, Jiaoyang Li 0001, Maxim Likhachev. icaps 2024: 597-606 [doi]

Neural Action Policy Safety Verification: Applicablity FilteringMarcel Vinzent, Jörg Hoffmann 0001. icaps 2024: 607-612 [doi]

Learning Generalised Policies for Numeric PlanningRyan Xiao Wang, Sylvie Thiébaux. icaps 2024: 633-642 [doi]

MAPF in 3D Warehouses: Dataset and AnalysisQian Wang, Rishi Veerapaneni, Yu Wu, Jiaoyang Li 0001, Maxim Likhachev. icaps 2024: 623-632 [doi]

Efficient Approximate Search for Multi-Objective Multi-Agent Path FindingFangji Wang, Han Zhang 0018, Sven Koenig, Jiaoyang Li 0001. icaps 2024: 613-622 [doi]

Neuro-Symbolic Learning of Lifted Action Models from Visual TracesKai Xi, Stephen Gould, Sylvie Thiébaux. icaps 2024: 653-662 [doi]

Control in Stochastic Environment with Delays: A Model-based Reinforcement Learning ApproachZhiyuan Yao, Ionut Florescu, Chihoon Lee. icaps 2024: 663-670 [doi]

Contrastive Explanations of Centralized Multi-agent Optimization SolutionsParisa 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 ApproachYuan Zhang, Umashankar Deekshith, Jianhong Wang, Joschka Boedecker. icaps 2024: 698-706 [doi]

Planning and Execution in Multi-Agent Path Finding: Models and AlgorithmsYue 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 ConstellationItai Zilberstein, Ananya Rao, Matthew Salis, Steve Chien. icaps 2024: 716-724 [doi]

Sign in or sign up to see more results.

runs on WebDSL