Graded Alternating-Time Temporal Logic

DOI10.3233/FI-2010-363zbMath1209.68316OpenAlexW1755994347MaRDI QIDQ5894193

Marco Faella, Margherita Napoli

Publication date: 28 March 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-363

zbMATH Keywords

computational tree logic (CTL)\(\mu \)-calculusalternating-time temporal logic (ATL)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Graded modalities in strategy logic ⋮ Reasoning about graded strategy quantifiers ⋮ Sublogics of a branching time logic of robustness

This page was built for publication: Graded Alternating-Time Temporal Logic