Login / Signup

The Blowup in Translating LTL to Deterministic Automata.

Orna KupfermanAdin Rosenberg
Published in: MoChArt (2010)
Keyphrases
  • deterministic automata
  • finite automata
  • grammatical inference
  • linear temporal logic
  • regular expressions
  • database
  • high level
  • database systems
  • hidden markov models
  • heuristic search