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

Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 62-85. Springer, (2023)Risk-aware curriculum generation for heavy-tailed task distributions., , , and . UAI, volume 216 of Proceedings of Machine Learning Research, page 1132-1142. PMLR, (2023)Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik., , , , , and . DeLFI, volume P-169 of LNI, page 239-251. GI, (2010)AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training., , and . AAMAS, page 1226-1235. ACM, (2021)Model Repair Revamped: On the Automated Synthesis of Markov Chains., , , , and . CoRR, (2021)An Ultrasound-Based Navigation System for Minimally Invasive Neck Surgery., , , , and . MMVR, volume 196 of Studies in Health Technology and Informatics, page 36-42. IOS Press, (2014)Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints., , and . IJCAI, page 4121-4127. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Parameter Synthesis in Markov Models: A Gentle Survey., , and . Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 407-437. Springer, (2022)Correct-by-construction policies for POMDPs., , , , , , and . SNR, page 6-8. ACM, (2019)Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 1-18. Springer, (2021)