Yannik Schnitzer

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Learning Process

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CAV (3) (2024)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CoRR (2024)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) (2021)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR (2021)