Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II - Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias (Springer Nature, 2024)