From LTL to deterministic automata - A safraless compositional approach.

Javier Esparza Jan Kretínský Salomon Sickert

Published in: Formal Methods Syst. Des. (2016)

Keyphrases

deterministic automata
finite automata
linear temporal logic
grammatical inference
search space
computational model