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

Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)Optimal transformations of Muller conditions., , and . CoRR, (2020)The complexity of learning linear temporal formulas from examples., and . ICGI, volume 153 of Proceedings of Machine Learning Research, page 237-250. PMLR, (2021)Controlling a Random Population., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 119-135. Springer, (2020)The Bridge Between Regular Cost Functions and Omega-Regular Languages., and . ICALP, volume 55 of LIPIcs, page 126:1-126:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)On the Monniaux Problem in Abstract Interpretation., , , , , and . SAS, volume 11822 of Lecture Notes in Computer Science, page 162-180. Springer, (2019)Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic., , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 264-288. Springer, (2024)Characterisation of an Algebraic Algorithm for Probabilistic Automata.. STACS, volume 47 of LIPIcs, page 34:1-34:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . CoRR, (2020)Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games., and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 1-26. Springer, (2019)