Yannik Schnitzer

17 papers A* 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Efficient Solution and Learning of Robust Factored MDPs.
AAAI
Yannik Schnitzer, Alessandro Abate, David Parker
2026 J jnl
Multi-Property Synthesis.
CoRR
Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi
2026 J jnl
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning.
CoRR
Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, David Parker
2025 — conf
Branching Bisimulation Learning.
CAV (4)
Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2025 J jnl
Branching Bisimulation Learning.
CoRR
Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2025 — conf
Certifiably Robust Policies for Uncertain Parametric Environments.
TACAS (3)
Yannik Schnitzer, Alessandro Abate, David Parker
2025 — conf
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets.
CDC
Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate
2025 J jnl
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets.
CoRR
Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate
2025 J jnl
Efficient Solution and Learning of Robust Factored MDPs.
CoRR
Yannik Schnitzer, Alessandro Abate, David Parker
2025 J jnl
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems.
CoRR
Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe, Alessandro Abate, Manuel Mazo Jr.
2024 — conf
Bisimulation Learning.
CAV (3)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
2024 J jnl
Bisimulation Learning.
CoRR
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
2024 J jnl
Learning Provably Robust Policies in Uncertain Parametric Environments.
CoRR
Yannik Schnitzer, Alessandro Abate, David Parker
2024 — conf
Model Checking and Strategy Synthesis with Abstractions and Certificates.
Principles of Verification (2)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer
2023 J jnl
On the road with RTLola.
Int. J. Softw. Tools Technol. Transf.
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021 — conf
RTLola on Board: Testing Real Driving Emissions on your Phone.
TACAS (2)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021 J jnl
RTLola on Board: Testing Real Driving Emissions on your Phone.
CoRR
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger