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)

Martin Spiessl

Picture of Martin Spiessl

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

Room F 012, Oettingenstr. 67
+49 89 2180 9185
E-Mail (Teaching, LMU)
(Please replace "lastname" with my last name)
Office Hours
by appointment, just write me an e-mail, then we can arrange a meeting via; you also have good chances to find me at (RBG Information about the chat)


Please send me encrypted mails!
My GPG key:
Fingerprint: 2663 F150 8204 6BDB 63DA 2A32 463C BA0F BEEF 6CEA