Counting CTL.

François Laroussinie Antoine Meyer Eudes Petonnet

Published in: FoSSaCS (2010)

Keyphrases

model checking
temporal logic
computation tree logic
linear temporal logic
temporal properties
bounded model checking
minimal change
data mining
decision making
bayesian networks
probability distribution
computer vision
evolutionary algorithm
transition systems