Lukas Westhofen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard probabilistic program is a potentially infinite parametric Markov decision process, no direct adaption of existing techniques is possible. Therefore, we propose an on– the–fly(More)
  • 1