Stefanie Mohr

17 papers A* 1B 2C 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
VMCAI (2)
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2025 A* conf
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory.
LICS
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025 J jnl
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory.
CoRR
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025 — —
Safer AI via Exploiting the Structure of Learned Systems for Monitoring, Verification, Abstraction, Representations, and Explainability.
Stefanie Mohr
2024 J jnl
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2024 — conf
Learning Explainable and Better Performing Representations of POMDP Strategies.
TACAS (2)
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
2024 J jnl
Learning Explainable and Better Performing Representations of POMDP Strategies.
CoRR
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
2024 — conf
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CAV (2)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CoRR
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
Stochastic games with lexicographic objectives.
Formal Methods Syst. Des.
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler
2023 — conf
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.
ATVA (1)
Calvin Chau, Jan Kretínský, Stefanie Mohr
2023 J jnl
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.
CoRR
Calvin Chau, Jan Kretínský, Stefanie Mohr
2021 C conf
Assessment of Neural Networks for Stream-Water-Temperature Prediction.
ICMLA
Stefanie Mohr, Konstantina Drainas, Jürgen Geist
2021 J jnl
Assessment of Neural Networks for Stream-Water-Temperature Prediction.
CoRR
Stefanie Mohr, Konstantina Drainas, Jürgen Geist
2021 B conf
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.
RV
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis
2020 B conf
DeepAbstract: Neural Network Abstraction for Accelerating Verification.
ATVA
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
2020 J jnl
DeepAbstract: Neural Network Abstraction for Accelerating Verification.
CoRR
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr