A Tableau for the Combination of CTL and BCTL*.

John Christopher McCabe-Dansted

Published in: TIME (2012)

Keyphrases

model checking
temporal logic
data sets
databases
expert systems
probability distribution
description logics
computation tree logic
artificial neural networks
logic programming