← Keywords

temporal planning

26 papers

Explore in graph

Co-occurring keywords

heuristic search (165) automated planning (151) temporal constraint (16) formal verification (277) satisfiability modulo theory (8) forward search (7) optimal planning (31) multi-robot system (62) action planning (40) pddl planning (7)

Papers

Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation AAAI 2025
Online Planning in MDPs with Stochastic Durative Actions IJCAI 2025
Speedup Techniques for Switchable Temporal Plan Graph Optimization AAAI 2025
Temporal Numeric Planning with Patterns AAAI 2025
Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024
Bidirectional Temporal Plan Graph: Enabling Switchable Passing Orders for More Efficient Multi-Agent Path Finding Plan Execution AAAI 2024
Adaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms AAAI 2023
Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022
Formal Semantics and Formally Verified Validation for Temporal Planning AAAI 2022
Automatic Generation of Flexible Plans via Diverse Temporal Planning AAAI 2021
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning AAAI 2021
Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020
Trading Plan Cost for Timeliness in Situated Temporal Planning IJCAI 2020
Temporal Planning with Intermediate Conditions and Effects AAAI 2020
Efficiently Reasoning with Interval Constraints in Forward Search Planning AAAI 2019
Temporal Planning with Temporal Metric Trajectory Constraints AAAI 2019
Robustness Envelopes for Temporal Plans AAAI 2019
Efficient Temporal Planning Using Metastates AAAI 2019
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019
Managing Communication Costs under Temporal Uncertainty IJCAI 2018
Variable-Delay Controllability IJCAI 2018
Temporal Planning for Compilation of Quantum Approximate Optimization Circuits IJCAI 2017
Temporal Planning with Clock-Based SMT Encodings IJCAI 2017