CTLModel-Checking with Graded Quantifiers.

Alessandro Ferrante, Margherita Napoli, Mimmo Parente

Browse the full ATVA paper archive.