| 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 | 69 | 2020 |
| 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 | 18 | 2021 |
| Stochastic games with lexicographic objectives K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler Formal methods in system design 63 (1), 40-80, 2024 | 12 | 2024 |
| 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 | 12 | 2023 |
| 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 | 8 | 2024 |
| 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 | 6 | 2021 |
| 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization M Azeem, D Chakraborty, S Kanav, J Křetínský, M Mohagheghi, S Mohr, ... International Conference on Verification, Model Checking, and Abstract …, 2025 | 4 | 2025 |
| Monitizer: automating design and evaluation of neural network monitors M Azeem, M Grobelna, S Kanav, J Křetínský, S Mohr, S Rieder International Conference on Computer Aided Verification, 265-279, 2024 | 4 | 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 | 4 | 2023 |
| Risk-aware Markov Decision Processes Using Cumulative Prospect Theory T Brihaye, K Chatterjee, S Mohr, M Weininger arXiv preprint arXiv:2505.09514, 2025 | 1 | 2025 |
| Safer AI via Exploiting the Structure of Learned Systems for Monitoring, Verification, Abstraction, Representations, and Explainability S Mohr Technische Universität München, 2025 | | 2025 |
| EDCC 2020 P Ashok, AA Nair, S Mohr, S Mohseni, H Khosrowjerdi, P Folkesson, ... | | |
