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

Model Checking for Safe Navigation Among Humans., , , , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 207-222. Springer, (2018)Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates., , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 253-265. Springer, (2016)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , and . UAI, page 519-529. AUAI Press, (2018)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , and . MBMV, Universität Tübingen, (2018)Safety-Constrained Reinforcement Learning for MDPs., , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 130-146. Springer, (2016)Synthese im Kontext Parametrischer Markow-Modelle.. Ausgezeichnete Informatikdissertationen, volume D-21 of LNI, GI, (2020)The Probabilistic Model Checker Storm (Extended Abstract)., , , and . CoRR, (2016)Safety-Constrained Reinforcement Learning for MDPs., , , , and . CoRR, (2015)Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction., , , and . CoRR, (2016)Synthesis in pMDPs: A Tale of 1001 Parameters., , , , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 160-176. Springer, (2018)