Stefanie Mohr

According to our database, Stefanie Mohr authored at least 19 papers between 2020 and 2025.

Collaborative distances:

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

2025

Safer AI via Exploiting the Structure of Learned Systems for Monitoring, Verification, Abstraction, Representations, and Explainability.

Stefanie Mohr

PhD thesis, 2025

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.

Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory.

Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Stochastic games with lexicographic objectives.

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

Formal Methods Syst. Des., October, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

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

Dataset, May, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

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

Dataset, April, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

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

Dataset, April, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

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

Dataset, April, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

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

Dataset, April, 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

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

2023

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.

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

Dataset, December, 2023

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.

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

Dataset, December, 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

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