Login / Signup

A theoretic approach to translation of linear temporal logic into an automaton.

Duo ZhangShi Gong Long
Published in: ICNC (2014)
Keyphrases
  • linear temporal logic
  • temporal logic
  • linear time temporal logic
  • model checking
  • deterministic automata
  • bounded model checking
  • machine translation
  • finite automata
  • high level