Folgen
Stefanie Mohr
Stefanie Mohr
Bestätigte E-Mail-Adresse bei in.tum.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
562020
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
72021
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
52021
Predicting stream water temperature with artificial neural networks based on open‐access data
K Drainas, L Kaule, S Mohr, B Uniyal, R Wild, J Geist
Hydrological Processes 37 (10), e14991, 2023
32023
Stochastic games with lexicographic objectives
K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler
Formal Methods in System Design, 1-41, 2023
32023
Learning Explainable and Better Performing Representations of POMDP Strategies
A Bork, D Chakraborty, K Grover, J Křetínský, S Mohr
International Conference on Tools and Algorithms for the Construction and …, 2024
12024
Monitizer: Automating Design and Evaluation of Neural Network Monitors
M Azeem, M Grobelna, S Kanav, J Kretinsky, S Mohr, S Rieder
arXiv preprint arXiv:2405.10350, 2024
2024
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
C Chau, J Křetínský, S Mohr
International Symposium on Automated Technology for Verification and …, 2023
2023
REACTIONS IN ORGANIC-CRYSTALS. 3. TRISPIRO-PYRROLOISOQUINOLINES VIA ASYMMETRIC PHOTO-DIMERIZATION AND H-ABSTRACTION IN CRYSTALLINE CYCLOHEXYLIDENE-PHENYL-5 (4H) OXAZOLONES
S MOHR
TETRAHEDRON LETTERS, 3139-3140, 1979
1979
EDCC 2020
P Ashok, AA Nair, S Mohr, S Mohseni, H Khosrowjerdi, P Folkesson, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10