A traditional tree-style tableau for LTL.

Published in: CoRR (2016)

Keyphrases

temporal logic
description logics
model checking
bounded model checking
binary tree
tree structure
index structure
b tree
linear temporal logic
data sets
data mining
leaf nodes
regression trees
tree search
data structure
tree models
learning algorithm