On CTL* with Graded Path Modalities.

Benjamin Aminof Aniello Murano Sasha Rubin

Published in: LPAR (2015)

Keyphrases

alternating time temporal logic
model checking
temporal logic
shortest path
computation tree logic
neural network
real world
machine learning
genetic algorithm
visual data
cross modal
temporal properties
multiple paths
bounded model checking