Login / Signup

Optimal Translation of LTL to Limit Deterministic Automata.

Dileep KiniMahesh Viswanathan
Published in: TACAS (2) (2017)
Keyphrases
  • deterministic automata
  • finite automata
  • linear temporal logic
  • databases
  • machine translation
  • regular expressions
  • search algorithm
  • hidden markov models
  • computational model