Author of the publication

On Refinements of Boolean and Parametric Modal Transition Systems.

, and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 213-230. Springer, (2013)

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)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)Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)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)On the Translation of Automata to Linear Temporal Logic., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 140-160. Springer, (2022)