A One-Pass Tree-Shaped Tableau for LTL+Past.

Nicola Gigante Angelo Montanari Mark Reynolds

Published in: LPAR (2017)

Keyphrases

tree shaped
description logics
model checking
temporal logic
bounded model checking
linear temporal logic
real world
data sets
decision trees
database
information systems