Graded Computation Tree Logic.

Alessandro Bianco, Fabio Mogavero, Aniello Murano

Browse the full LICS paper archive.