CTL* with graded path modalities.

Benjamin Aminof Aniello Murano Sasha Rubin

Published in: Inf. Comput. (2018)

Keyphrases

alternating time temporal logic
model checking
temporal logic
temporal properties
computation tree logic
state space
dynamic environments
endpoints
optimal path
labeling scheme
multiple modalities
bounded model checking