Login / Signup
Juraj Major
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Temporal Logic
Finite State
Bounded Model Checking
Finite Automaton
Top Venues
CoRR
SAT
ICTAC
ATVA
</>
Publications
</>
Tereza Schwarzová
,
Jan Strejcek
,
Juraj Major
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving.
SAT
(2023)
Frantisek Blahoudek
,
Juraj Major
,
Jan Strejcek
LTL to self-loop alternating automata with generic acceptance and back.
Theor. Comput. Sci.
840 (2020)
Frantisek Blahoudek
,
Juraj Major
,
Jan Strejcek
LTL to Smaller Self-Loop Alternating Automata and Back.
CoRR
(2019)
Frantisek Blahoudek
,
Juraj Major
,
Jan Strejcek
LTL to Smaller Self-Loop Alternating Automata and Back.
ICTAC
(2019)
Juraj Major
,
Frantisek Blahoudek
,
Jan Strejcek
,
Miriama Sasaráková
,
Tatiana Zboncáková
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.
ATVA
(2019)