Sabine Rieder

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Object Detection In Images

Scene Understanding

Top Venues

Publications

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CAV (2) (2024)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CoRR (2024)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CoRR (2023)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) (2023)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. CoRR (2022)