Strong temporal planning with uncontrollable durations
From MaRDI portal
Publication:1748463
DOI10.1016/j.artint.2017.11.006zbMath1443.68163DBLPjournals/ai/CimattiDMRS18OpenAlexW2772622313WikidataQ62041067 ScholiaQ62041067MaRDI QIDQ1748463
Publication date: 11 May 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11572/258649
strong controllabilitytemporal planningPDDLANMLforward state-space planningstrong temporal planninguncontrollable durations
Related Items (3)
Unnamed Item ⋮ On timeline-based games and their complexity ⋮ Safe Multi-Agent Pathfinding with Time Uncertainty
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Efficient solution techniques for disjunctive temporal reasoning problems
- Managing concurrency in temporal planning using planner-scheduler interaction
- Temporal constraint networks
- Constraint-based attribute and interval planning
- Solving strong controllability of temporal problems with uncertainty using SMT
- COLIN: Planning with Continuous Linear Numeric Change
- Planning with Concurrency under Resources and Time Uncertainty
- Strong Controllability of Disjunctive Temporal Problems with Uncertainty
- Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- The MathSAT5 SMT Solver
This page was built for publication: Strong temporal planning with uncontrollable durations