Graded Computation Tree Logic with Binary Coding.

Alessandro Bianco, Fabio Mogavero, Aniello Murano

Browse the full CSL paper archive.