Graded Computation Tree Logic. (2009)

by A Bianco, F Mogavero, A Murano
Venue:In LICS’09,