Mgr. Juraj Major

2023

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

  SCHWARZOVÁ Tereza STREJČEK Jan MAJOR Juraj

  Článek ve sborníku

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

2020

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

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2020, ročník: 840, vydání: Nov 2020, DOI

2019

• LTL to Smaller Self-Loop Alternating Automata and Back

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, rok: 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

  Článek ve sborníku

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