Sciweavers

LPAR
2010
Springer

Graded Alternating-Time Temporal Logic

13 years 1 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Marco Faella, Margherita Napoli, Mimmo Parente
Comments (0)