Login / Signup
Sabine Rieder
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Neural Network
Object Detection In Images
Scene Understanding
Input Pattern
Top Venues
CoRR
CAV (2)
CAV (1)
FM
</>
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)