CTL* with graded path modalities

Benjamin Aminof, Aniello Murano, Sasha Rubin. CTL* with graded path modalities. Inf. Comput., 262(Part):1-21, 2018. [doi]

Abstract

Abstract is missing.