On CTL* with Graded Path Modalities.

Benjamin Aminof, Aniello Murano, Sasha Rubin

Browse the full LPAR paper archive.