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)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)Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)Efficient Normalization of Linear Temporal Logic., , and . CoRR, (2023)On Refinements of Boolean and Parametric Modal Transition Systems., and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 213-230. Springer, (2013)From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata, , , and . International Journal on Software Tools for Technology Transfer, 24 (4): 635--659 (2022)An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata., and . LICS, page 831-844. ACM, (2020)