Verifying Probabilistic Programs

RWTH Publications (RWTH Aachen), vol. 12289, pp. 298

Authors 3

1. Benjamin Lucien Kaminski Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Joost-Pieter Katoen
3. Christoph Matheja

   ETH Zurich

   Affiliation as printed

   ETH Zurich, Zurich, Switzerland