Author of the publication

Causality-Based Game Solving.

, , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 894-917. Springer, (2021)

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

Farkas certificates and minimal witnesses for probabilistic reachability constraints., , and . CoRR, (2019)Switss: Computing Small Witnessing Subsystems., , , and . FMCAD, page 236-244. IEEE, (2020)Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata., , , and . Innov. Syst. Softw. Eng., 19 (2): 227-229 (June 2023)Reachability in Dynamical Systems with Rounding., , , , , , , , and . FSTTCS, volume 182 of LIPIcs, page 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Operational Causality - Necessarily Sufficient and Sufficiently Necessary., , , , , and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 27-45. Springer, (2022)Certificates and Witnesses for Probabilistic Model Checking.. Dresden University of Technology, Germany, (2022)Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata., and . ITP, volume 10895 of Lecture Notes in Computer Science, page 306-323. Springer, (2018)Probabilistic causes in Markov chains., , , , and . Innov. Syst. Softw. Eng., 18 (3): 347-367 (2022)Zertifikate und Zeugen im Probabilistischen Model Checking.. Ausgezeichnete Informatikdissertationen, (2022)Responsibility and verification: Importance value in temporal logics., , , , and . LICS, page 1-14. IEEE, (2021)