Yannik Schnitzer

According to our database, Yannik Schnitzer authored at least 9 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Efficient Solution and Learning of Robust Factored MDPs.

Yannik Schnitzer, Alessandro Abate, David Parker

CoRR, August, 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, March, 2025

Certifiably Robust Policies for Uncertain Parametric Environments.

Yannik Schnitzer, Alessandro Abate, David Parker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Branching Bisimulation Learning.

Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Learning Provably Robust Policies in Uncertain Parametric Environments.

Yannik Schnitzer, Alessandro Abate, David Parker

CoRR, 2024

Bisimulation Learning.

Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Model Checking and Strategy Synthesis with Abstractions and Certificates.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

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., April, 2023

2021

RTLola on Board: Testing Real Driving Emissions on your Phone.

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021