A Faster Tableau for CTL.

Published in: GandALF (2013)

Keyphrases

model checking
temporal logic
description logics
minimal change
temporal properties
bounded model checking
neural network
computer vision
linear temporal logic
computation tree logic
database
data mining
epistemic logic
transition systems