Follow
Stefanie Mohr
Title
Cited by
Cited by
Year
Deepabstract: Neural network abstraction for accelerating verification
P Ashok, V Hashemi, J Křetínský, S Mohr
International Symposium on Automated Technology for Verification and …, 2020
172020
Assessment of Neural Networks for Stream-Water-Temperature Prediction
S Mohr, K Drainas, J Geist
2021 20th IEEE International Conference on Machine Learning and Applications …, 2021
2021
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks
V Hashemi, J Křetínský, S Mohr, E Seferis
International Conference on Runtime Verification, 254-264, 2021
2021
EDCC 2020
P Ashok, AA Nair, S Mohr, S Mohseni, H Khosrowjerdi, P Folkesson, ...
The system can't perform the operation now. Try again later.
Articles 1–4