Yannik Schnitzer 个人学术档案

2022202320247 5 15

开放获取的出版物数量

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
Maximilian A. KöhlSaarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
Maximilian SchwengerCISPA Helmholtz Center for Information Security在 cispa.saarland 的电子邮件经过验证
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
Mirco GiacobbeUniversity of Birmingham在 bham.ac.uk 的电子邮件经过验证
David ParkerProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证

Yannik Schnitzer

在 cs.ox.ac.uk 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
RTLola on board: Testing real driving emissions on your phone S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger International Conference on Tools and Algorithms for the Construction and …, 2021	15	2021
On the road with RTLola: Testing real driving emissions on your phone S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger International Journal on Software Tools for Technology Transfer 25 (2), 205-218, 2023	7	2023
Bisimulation learning A Abate, M Giacobbe, Y Schnitzer International Conference on Computer Aided Verification, 161-183, 2024	5	2024
Model Checking and Strategy Synthesis with Abstractions and Certificates A Abate, M Giacobbe, D Roy, Y Schnitzer Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024		2024
Certifiably Robust Policies for Uncertain Parametric Environments Y Schnitzer, A Abate, D Parker arXiv preprint arXiv:2408.03093, 2024		2024

系统目前无法执行此操作，请稍后再试。

文章 1–5

每年引用数