Rabinizer: Small Deterministic Automata for LTL(F, G).

Andreas Gaiser Jan Kretínský Javier Esparza

Published in: ATVA (2012)

Keyphrases

deterministic automata
finite automata
small number
regular expressions
grammatical inference
database
decision trees