Login / Signup
The Blowup in Translating LTL to Deterministic Automata.
Orna Kupferman
Adin 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