受强制性开放获取政策约束的文章 - Sabine Rieder了解详情
可在其他位置公开访问的文章：3 篇
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
强制性开放获取政策： European Commission
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
强制性开放获取政策： German Research Foundation
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
V Hashemi, J Křetínský, S Rieder, T Schön, J Vorhoff
International Conference on Runtime Verification, 218-228, 2024
强制性开放获取政策： European Commission
出版信息和资助信息由计算机程序自动确定