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 Deterministic Emerson-Lei Automata., and . GandALF, volume 256 of EPTCS, page 180-194. (2017)From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 426-442. (2017)Owl: A Library for ω-Words, Automata, and LTL., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 543-550. Springer, (2018)Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)On Refinements of Boolean and Parametric Modal Transition Systems., and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 213-230. Springer, (2013)A Unified Translation of Linear Temporal Logic to ω-Automata, , and . J. ACM, (October 2020)Certifying DFA Bounds for Recognition and Separation., , and . Innov. Syst. Softw. Eng., 18 (3): 405-416 (2022)Efficient Normalization of Linear Temporal Logic., , and . CoRR, (2023)MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata., and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 130-137. (2016)A Simple Rewrite System for the Normalization of Linear Temporal Logic., , and . Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 208-227. Springer, (2022)