DeepAbstract: Neural Network Abstraction for Accelerating Verification. - Pranav Ashok; Vahid Hashemi; Jan Kretínský; Stefanie Mohr (ATVA, 2020)

Assessment of Neural Networks for Stream-Water-Temperature Prediction. - Stefanie Mohr; Konstantina Drainas; Jürgen Geist (ICMLA, 2021)

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. - Vahid Hashemi; Jan Kretínský; Stefanie Mohr; Emmanouil Seferis (RV, 2021)

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. - Calvin Chau; Jan Kretínský; Stefanie Mohr (ATVA (1), 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Monitizer: Automating Design and Evaluation of Neural Network Monitors. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (CAV (2), 2024)

Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Jan Kretínský; Stefanie Mohr (TACAS (2), 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ý (Zenodo, 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ý (Zenodo, 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ý (Zenodo, 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ý (Zenodo, 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ý (Zenodo, 2024)

Stochastic games with lexicographic objectives. - Krishnendu Chatterjee; Joost-Pieter Katoen; Stefanie Mohr; Maximilian Weininger; Tobias Winkler 001 (Formal Methods Syst. Des., 2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský; MohammadSadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger (VMCAI (2), 2025)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. - Thomas Brihaye; Krishnendu Chatterjee; Stefanie Mohr; Maximilian Weininger (CoRR, 2025)