Journal article published at Science of Computer Programming:
"Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking" (and 2 more papers)

Matthias Dangl

Picture of Matthias Dangl

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

E-Mail (Teaching, LMU)
E-Mail (Research, Other)
(first letter of first name)(last name)


Please send me encrypted mails!
My GPG key: 0xD8BF1A0B19A1702D
Fingerprint: 36E9 C2E7 CF98 ACF5 BE5C 6EC2 D8BF 1A0B 19A1 702D


LMU Munich:

University of Passau: