Juraj Major

According to our database, Juraj Major authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving.

Tereza Schwarzová, Jan Strejcek, Juraj Major

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2020

LTL to self-loop alternating automata with generic acceptance and back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Theor. Comput. Sci., 2020

2019

LTL to Smaller Self-Loop Alternating Automata and Back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

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

Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková

Proceedings of the Automated Technology for Verification and Analysis, 2019