guest ::
TY - CHAP AU - Abraham, Erika AU - Jansen, Nils AU - Jantsch, Simon TI - Probabilistic Counterexamples Through the Ages VL - 15760 CY - Cham PB - Springer Nature Switzerland M1 - RWTH-2026-02698 T2 - Lecture Notes in Computer Science SP - 174-196 PY - 2026 N1 - First Online: 30 August 2025 LB - PUB:(DE-HGF)7 DO - DOI:10.1007/978-3-031-97439-7_8 UR - https://publications.rwth-aachen.de/record/1030002 ER -