scientific article

MaRDI QIDQ3384889

Luca Geatti, Nicola Gigante, Angelo Montanari, M. A. Reynolds

Publication date: 17 December 2021

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

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Real-time logics: Complexity and expressiveness
• A really temporal logic
• Propositional temporal logics: decidability and completeness
• A One-Pass Tree-Shaped Tableau for LTL+Past

This page was built for publication: