Graded Alternating-Time Temporal Logic

13 years 10 months ago

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

Automated Reasoning | Graded | LPAR 2010 | Semantics | Specification Languages |

claim paper

Added	14 Feb 2011
Updated	14 Feb 2011
Type	Journal
Year	2010
Where	LPAR
Authors	Marco Faella, Margherita Napoli, Mimmo Parente

Comments (0)