ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. - Juraj Major; Frantisek Blahoudek; Jan Strejcek; Miriama Sasaráková; Tatiana Zboncáková (ATVA, 2019)

LTL to Smaller Self-Loop Alternating Automata and Back. - Frantisek Blahoudek; Juraj Major; Jan Strejcek (ICTAC, 2019)

LTL to self-loop alternating automata with generic acceptance and back. - Frantisek Blahoudek; Juraj Major; Jan Strejcek (Theor. Comput. Sci., 2020)

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving. - Tereza Schwarzová; Jan Strejcek; Juraj Major (SAT, 2023)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report). - Lukás Holík; Ondrej Lengál; Juraj Major; Adéla Stepková; Jan Strejcek (CoRR, 2025)