Stefanie Mohr

According to our database, Stefanie Mohr authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

2024

Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.

Calvin Chau, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2023

2021

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.

Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis

Proceedings of the Runtime Verification - 21st International Conference, 2021

Assessment of Neural Networks for Stream-Water-Temperature Prediction.

Stefanie Mohr, Konstantina Drainas, Jürgen Geist

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020

DeepAbstract: Neural Network Abstraction for Accelerating Verification.

Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2020