RTLola on Board: Testing Real Driving Emissions on your Phone. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (TACAS (2), 2021)

On the road with RTLola. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (Int. J. Softw. Tools Technol. Transf., 2023)

Model Checking and Strategy Synthesis with Abstractions and Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy; Yannik Schnitzer (Principles of Verification (2), 2024)

Bisimulation Learning. - Alessandro Abate; Mirco Giacobbe; Yannik Schnitzer (CAV (3), 2024)

Learning Provably Robust Policies in Uncertain Parametric Environments. - Yannik Schnitzer; Alessandro Abate; David Parker 001 (CoRR, 2024)

Branching Bisimulation Learning. - Alessandro Abate; Mirco Giacobbe; Christian Micheletti; Yannik Schnitzer (CAV (4), 2025)

Certifiably Robust Policies for Uncertain Parametric Environments. - Yannik Schnitzer; Alessandro Abate; David Parker 001 (TACAS (3), 2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets. - Prashant Solanki; Nikolaus Vertovec; Yannik Schnitzer; Jasper J. van Beers; Cornelis C. de Visser; Alessandro Abate (CoRR, 2025)

Efficient Solution and Learning of Robust Factored MDPs. - Yannik Schnitzer; Alessandro Abate; David Parker 001 (CoRR, 2025)