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

CEGAR for Qualitative Analysis of Probabilistic Systems., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 473-490. Springer, (2014)Compositional Specifications for ioco Testing., , , and . ICST, page 373-382. IEEE Computer Society, (2014)Compositional Specifications for ioco Testing., , , and . CoRR, (2019)Faster Statistical Model Checking for Unbounded Temporal Properties., , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 112-129. Springer, (2016)Statistical Model Checking: Black or White?, , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 331-349. Springer, (2020)Value Iteration for Long-Run Average Reward in Markov Decision Processes., , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 201-221. Springer, (2017)CEGAR for compositional analysis of qualitative properties in Markov decision processes., , and . Formal Methods Syst. Des., 47 (2): 230-264 (2015)Linear Distances between Markov Chains., , , and . CONCUR, volume 59 of LIPIcs, page 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Faster Statistical Model Checking for Unbounded Temporal Properties., , , and . CoRR, (2015)Complete Composition Operators for IOCO-Testing Theory., , , , and . CBSE, page 101-110. ACM, (2015)