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

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)Seminator: A Tool for Semi-Determinization of Omega-Automata., , , , and . LPAR, volume 46 of EPiC Series in Computing, page 356-367. EasyChair, (2017)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)LTL to Smaller Self-Loop Alternating Automata and Back., , and . ICTAC, volume 11884 of Lecture Notes in Computer Science, page 152-171. Springer, (2019)Qualitative Controller Synthesis for Consumption Markov Decision Processes., , , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 421-447. Springer, (2020)Efficient Strategy Synthesis for MDPs With Resource Constraints., , , , and . IEEE Trans. Autom. Control., 68 (8): 4586-4601 (August 2023)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)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)Word Equations in Synergy with Regular Constraints., , , , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 403-423. Springer, (2023)