| 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 | 8 | 2023 |
| 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 | 7 | 2023 |
| 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 | 3 | 2024 |
| A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community S Kanav, J Křetínský, S Rieder Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
| 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 | | 2024 |
| A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions S Rahmani, S Rieder, E de Gelder, M Sonntag, JL Mallada, S Kalisvaart, ... arXiv preprint arXiv:2410.08491, 2024 | | 2024 |
