E-Mail: firstname.lastname@tum.de
ORCID:
0009-0006-6397-3100Address:
Institut für Informatik (I7) Technische Universität München Boltzmannstr. 3 D-85748 Garching bei München / Germany
Sabine Rieder
Office: 03.11.39
E-Mail: firstname.lastname@tum.de
ORCID: 0009-0006-6397-3100
Address:
E-Mail: firstname.lastname@tum.de
ORCID:
0009-0006-6397-3100Address:
Since 2021, I have been doing a joint PhD with the Technical University of Munich and Audi AG.
My research interests revolve around the safety of Neural Networks, mostly abstraction and runtime monitoring.
Research Areas
Projects
MONITIZER
We create a tool (Monitizer) that optimizes monitors on a NN for a specific task.
Publications
|
2023 |
Guessing Winning Policies in LTL Synthesis by Semantic Learning
CAV 2023 |
|
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
FM 2023 |
Student Projects
Open Projects
Decision Trees for Monitoring Neural Networks
We want to explore the possibilities of using Decision Trees as a more understandable monitor for Neural Networks, potentially in combination with other monitors.
|
Ongoing Projects
Yifei Xu: A Framework for Evaluation of Runtime Monitors for Object Detection Neural Networks
While Object Detection Neural Networks are of high practical relevance, there is no standard way to evaluate them yet. In addition, not many monitors for this type of NN are known. In this thesis, we develop a framework to evaluate such monitors and present basic network monitoring methods.
|