scientific article
From MaRDI portal
Publication:3384890
Angelo Montanari, Laura Bozzelli, Adriano Peron, Alberto Molinari
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03103
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Unnamed Item ⋮ Timeline-based planning over dense temporal domains ⋮ Complexity issues for timeline-based planning over dense time under future and minimal semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Planning and execution with flexible timelines: a formal account
- Real-time logics: Complexity and expressiveness
- A theory of timed automata
- Constraint-based attribute and interval planning
- LTL with the freeze quantifier and register automata
- A really temporal logic
- The benefits of relaxing punctuality
- On the decidability and complexity of Metric Temporal Logic over finite words
This page was built for publication:
