Sibylle Schupp visits <link https: www.sen.uni-konstanz.de members prof-dr-stefan-leue _blank>Stefan Leue, chair for <link https: www.sen.uni-konstanz.de _blank and systems>Software and Systems Engineering. As part of her visit, she gives a lecture on statistical model checking.