Synthesis of timeline-based planning strategies avoiding determinization

DOI10.4204/EPTCS.409.5MaRDI QIDQ6940525zbMATH OpenFDO

Authors Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.409.5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites work

• Complexity of qualitative timeline-based planning
• Complexity of timeline-based planning over dense temporal domains: exploring the middle ground
• Controller synthesis for timeline-based games
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• Maintaining knowledge about temporal intervals
• On timeline-based games and their complexity
• Planning and execution with flexible timelines: a formal account

This page was built for publication: Synthesis of timeline-based planning strategies avoiding determinization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940525)