Graded Alternating-Time Temporal Logic
From MaRDI portal
Publication:5894019
DOI10.1007/978-3-642-17511-4_12zbMath1285.68095OpenAlexW2995380543MaRDI QIDQ5894019
Margherita Napoli, Marco Faella
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_12
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: Graded Alternating-Time Temporal Logic