关注
Sabine Rieder
Sabine Rieder
Technical University of Munich; Masaryk University
在 tum.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
V Hashemi, J Křetínskỳ, S Rieder, J Schmidt
International Symposium on Formal Methods, 622-634, 2023
72023
Guessing Winning Policies in LTL Synthesis by Semantic Learning
J Křetínský, T Meggendorfer, M Prokop, S Rieder
International Conference on Computer Aided Verification, 390-414, 2023
62023
Monitizer: Automating Design and Evaluation of Neural Network Monitors
M Azeem, M Grobelna, S Kanav, J Křetínský, S Mohr, S Rieder
International Conference on Computer Aided Verification, 265-279, 2024
12024
系统目前无法执行此操作，请稍后再试。
文章 1–3