Sabine Rieder (Preferred)
Sabine Rieder
PhD student, Masaryk University
PhD student, Technical University of Munich
Joined
June 2024
Names
Emails
****@tum.de (Confirmed)
****@in.tum.de (Confirmed)
****@mail.muni.cz (Confirmed)
Personal Links
Career & Education History
PhD student
Masaryk University (muni.cz)
2024 – Present
PhD student
Technical University of Munich (tum.de)
2022 – Present
Researcher
AUDI AG (audi.de)
2021 – 2024
Advisors, Relations & Conflicts
Expertise
Neural Network Verification
Present
Neural Network Abstraction
Present
Runtime Monitoring of Neural Networks
Present
LTL Synthesis
Present
Publications
Co-Authors
- Bettina Könighofer
- Debraj Chakraborty
- Erwin de Gelder
- Gesina Schwalbe
- Jan Kretinsky
- Jan Vorhoff
- Jessica Schmidt
- Jorge Lorente Mallada
- Marcel Sonntag
- Marta Grobelna
- Maximilian Prokop
- Muqsit Azeem
- Saeed Rahmani
- Simeon C. Calvert
- Stefan Pranger
- Stefanie Mohr
- Sudeep Kanav
- Sytze Kalisvaart
- Tobias Meggendorfer
- Torsten Schön
- Vahid Hashemi
- Youssef Shoeb