Login / Signup

From LTL to Symbolically Represented Deterministic Automata.

Andreas MorgensternKlaus Schneider
Published in: VMCAI (2008)
Keyphrases
  • deterministic automata
  • finite automata
  • regular expressions
  • grammatical inference
  • high level
  • hidden markov models