Stefanie Mohr

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

Collaborative distances:

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

2024

Stochastic games with lexicographic objectives.

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

Formal Methods Syst. Des., October, 2024

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

CoRR, 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

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