C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sabine Rieder
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Scene Understanding
Neural Network
Background Subtraction
Object Detection In Images
Top Venues
CoRR
CAV (1)
FM
</>
Publications
</>
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)