A New Rule for LTL Tableaux.

Published in: GandALF (2016)

Keyphrases

temporal logic
model checking
modal logic
bounded model checking
rule learning
linear temporal logic
functional dependencies
rule sets
deterministic automata
decision procedures
rule induction
artificial intelligence
classification rules
rough sets
association rules
case study
machine learning
database