Yannik Schnitzer

According to our database, Yannik Schnitzer authored at least 13 papers between 2021 and 2026.

Collaborative distances:

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

2026

Robust Parameter Learning for Uncertain MDPs.

Yannik Schnitzer, Alessandro Abate, David Parker

CoRR, May, 2026

Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning.

Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, David Parker

CoRR, February, 2026

Multi-Property Synthesis.

Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi

CoRR, January, 2026

Efficient Solution and Learning of Robust Factored MDPs.

Yannik Schnitzer, Alessandro Abate, David Parker

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems.

Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe, Alessandro Abate, Manuel Mazo Jr.

CoRR, September, 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

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

Proceedings of the 64th IEEE Conference on Decision and Control, 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