Controller synthesis for timeline-based games

DOI10.46298/lmcs-20(3:17)2024MaRDI QIDQ6597968

Luca Geatti, Renato Acampora, Unnamed Author, Nicola Gigante, Angelo Montanari

Publication date: 4 September 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

synthesisautomataplanning

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning and execution with flexible timelines: a formal account
• Constraint-based attribute and interval planning
• Timeline-based planning over dense temporal domains
• On timeline-based games and their complexity
• STRIPS: A new approach to the application of theorem proving to problem solving
• Alternating-time temporal logic
• An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
• Complexity of qualitative timeline-based planning
• Controller synthesis for timeline-based games

Related Items (1)

Controller synthesis for timeline-based games

This page was built for publication: Controller synthesis for timeline-based games