Login / Signup
Stefanie Mohr
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 11
Top Topics
Model Free Reinforcement Learning
Semantic Constraints
Neural Network
Relative Humidity
Top Venues
CoRR
CAV (2)
RV
TACAS (2)
</>
Publications
</>
Alexander Bork
,
Debraj Chakraborty
,
Kush Grover
,
Jan Kretínský
,
Stefanie Mohr
Learning Explainable and Better Performing Representations of POMDP Strategies.
TACAS (2)
(2024)
Muqsit Azeem
,
Marta Grobelna
,
Sudeep Kanav
,
Jan Kretínský
,
Stefanie Mohr
,
Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CAV (2)
(2024)
Muqsit Azeem
,
Marta Grobelna
,
Sudeep Kanav
,
Jan Kretínský
,
Stefanie Mohr
,
Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CoRR
(2024)
Alexander Bork
,
Debraj Chakraborty
,
Kush Grover
,
Jan Kretinský
,
Stefanie Mohr
Learning Explainable and Better Performing Representations of POMDP Strategies.
CoRR
(2024)
Calvin Chau
,
Jan Kretínský
,
Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.
CoRR
(2023)
Calvin Chau
,
Jan Kretínský
,
Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.
ATVA (1)
(2023)
Stefanie Mohr
,
Konstantina Drainas
,
Jürgen Geist
Assessment of Neural Networks for Stream-Water-Temperature Prediction.
ICMLA
(2021)
Stefanie Mohr
,
Konstantina Drainas
,
Jürgen Geist
Assessment of Neural Networks for Stream-Water-Temperature Prediction.
CoRR
(2021)
Vahid Hashemi
,
Jan Kretínský
,
Stefanie Mohr
,
Emmanouil Seferis
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.
RV
(2021)
Pranav Ashok
,
Vahid Hashemi
,
Jan Kretínský
,
Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification.
CoRR
(2020)
Pranav Ashok
,
Vahid Hashemi
,
Jan Kretínský
,
Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification.
ATVA
(2020)