Login / Signup

Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.

Tomás BabiakFrantisek BlahoudekMojmír KretínskýJan Strejcek
Published in: ATVA (2013)
Keyphrases
  • temporal logic
  • automata theoretic
  • model checking
  • deterministic automata
  • databases
  • high quality
  • computationally efficient
  • machine translation
  • finite automata