Mgr. Juraj Major

2023

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

  SCHWARZOVÁ Tereza STREJČEK Jan MAJOR Juraj

  Article in Proceedings

  26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, year: 2023

2020

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

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Article in Periodical

  Theoretical Computer Science, year: 2020, volume: 840, edition: Nov 2020, DOI

2019

• LTL to Smaller Self-Loop Alternating Automata and Back

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Article in Proceedings

  Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, year: 2019

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

  MAJOR Juraj BLAHOUDEK František STREJČEK Jan JÁNOŠOVÁ Miriama ZBONČÁKOVÁ Tatiana

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 2019