Principles of Verification : Cycling the Probabilistic Landscape

by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll