From LTL to Deterministic Automata: A Safraless Compositional Approach.

Javier Esparza Jan Kretínský

Published in: CAV (2014)

Keyphrases

deterministic automata
finite automata
regular expressions
grammatical inference
databases
decision trees
training data
background knowledge