Login / Signup
From LTL to Symbolically Represented Deterministic Automata.
Andreas Morgenstern
Klaus Schneider
Published in:
VMCAI (2008)
Keyphrases
</>
deterministic automata
finite automata
regular expressions
grammatical inference
high level
hidden markov models