Planning and execution with flexible timelines: a formal account
From MaRDI portal
Publication:329417
DOI10.1007/S00236-015-0252-ZzbMATH Open1351.90092OpenAlexW2195359882WikidataQ58615272 ScholiaQ58615272MaRDI QIDQ329417FDOQ329417
Authors: Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico
Publication date: 21 October 2016
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11590/284753
Recommendations
Cites Work
- Maintaining knowledge about temporal intervals
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Dynamic controllability and dispatchability relationships
- Constraint-based attribute and interval planning
- Title not available (Why is that?)
- Flexible plan verification: feasibility results
- Planning and execution with flexible timelines: a formal account
- Title not available (Why is that?)
Cited In (13)
- Lifted heuristics for timeline-based planning
- Controller synthesis for timeline-based games
- Timeline-based planning over dense temporal domains
- CTP: A new constraint-based formalism for conditional, temporal planning
- Title not available (Why is that?)
- Planning and execution with flexible timelines: a formal account
- Controller synthesis for timeline-based games
- Title not available (Why is that?)
- Complexity issues for timeline-based planning over dense time under future and minimal semantics
- A game-theoretic approach to timeline-based planning with uncertainty
- Temporally and spatially flexible plan execution for dynamic hybrid systems
- Flexible plan verification: feasibility results
- On timeline-based games and their complexity
This page was built for publication: Planning and execution with flexible timelines: a formal account
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q329417)