Sabine Rieder

According to our database, Sabine Rieder authored at least 8 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions.

Saeed Rahmani, Sabine Rieder, Erwin de Gelder, Marcel Sonntag, Jorge Lorente Mallada, Sytze Kalisvaart, Vahid Hashemi, Simeon C. Calvert

CoRR, 2024

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.

Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff

Proceedings of the Runtime Verification - 24th International Conference, 2024

Monitizer: Automating Design and Evaluation of Neural Network Monitors.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community.

Sudeep Kanav, Jan Kretínský, Sabine Rieder

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Monitizer.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Dataset, October, 2023

Monitizer.

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder

Dataset, October, 2023

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.

Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt

Proceedings of the Formal Methods - 25th International Symposium, 2023

Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

Proceedings of the Computer Aided Verification - 35th International Conference, 2023