Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

LTL to self-loop alternating automata with generic acceptance and back., , and . Theor. Comput. Sci., (2020)Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 24-39. Springer, (2013)Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning., , and . IEEE Trans. Control. Netw. Syst., 9 (3): 1327-1338 (2022)Seminator: A Tool for Semi-Determinization of Omega-Automata., , , , and . LPAR, volume 46 of EPiC Series in Computing, page 356-367. EasyChair, (2017)Efficient Strategy Synthesis for MDPs With Resource Constraints., , , , and . IEEE Trans. Autom. Control., 68 (8): 4586-4601 (August 2023)Word Equations in Synergy with Regular Constraints., , , , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 403-423. Springer, (2023)ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 357-365. Springer, (2019)Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization., , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 15-27. Springer, (2020)On Refinement of Büchi Automata for Explicit Model Checking., , , and . SPIN, volume 9232 of Lecture Notes in Computer Science, page 66-83. Springer, (2015)Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning., , and . CoRR, (2021)