ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.

Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasarkov, Tatiana Zbonckov

Browse the full ATVA paper archive.