On CTL* with Graded Path Modalities

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48899-7_20 ◽

2015 ◽

pp. 281-296 ◽

Author(s):

Benjamin Aminof ◽

Aniello Murano ◽

Sasha Rubin

Download Full-text