Sabine Rieder

According to our database, Sabine Rieder authored at least 2 papers in 2023.

Collaborative distances:

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

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