关注
Sabine Rieder
标题
引用次数
引用次数
年份
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
62023
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
52023
Monitizer: Automating Design and Evaluation of Neural Network Monitors
M Azeem, M Grobelna, S Kanav, J Kretinsky, S Mohr, S Rieder
arXiv preprint arXiv:2405.10350, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–3