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

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata., and . ILC, volume 5489 of Lecture Notes in Computer Science, page 46-55. Springer, (2007)Deciding the Borel Complexity of Regular Tree Languages., and . CiE, volume 8493 of Lecture Notes in Computer Science, page 163-172. Springer, (2014)Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems., , , and . SN Comput. Sci., 4 (5): 443 (September 2023)Model theory of monadic predicate logic with the infinity quantifier., , , and . Arch. Math. Log., 61 (3-4): 465-502 (2022)SOS for Bounded Rationality., , , and . ISIPTA, volume 62 of Proceedings of Machine Learning Research, page 25-36. PMLR, (2017)A Credal Extension of Independent Choice Logic., and . SUM, volume 11142 of Lecture Notes in Computer Science, page 35-49. Springer, (2018)Logic and Model Checking by Imprecise Probabilistic Interpreted Systems., , , and . EUMAS, volume 12802 of Lecture Notes in Computer Science, page 211-227. Springer, (2021)Credal Sentential Decision Diagrams., , and . ISIPTA, volume 103 of Proceedings of Machine Learning Research, page 14-22. PMLR, (2019)A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus., , and . LICS, page 478-487. IEEE Computer Society, (2013)On the Weak Index Problem for Game Automata., , and . WoLLIC, volume 9160 of Lecture Notes in Computer Science, page 93-108. Springer, (2015)