scientific article; zbMATH DE number 7802076

zbMath1530.68238arXiv2209.10319MaRDI QIDQ6191013

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

Publication date: 8 February 2024

Full work available at URL: https://arxiv.org/abs/2209.10319

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Game theory (91A99) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• 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
• Alternating-time temporal logic
• An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
• Complexity of qualitative timeline-based planning

This page was built for publication: