| 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 | 62 | 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 | 13 | 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 | 9 | 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 | 6 | 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 | 5 | 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 | 5 | 2021 |
| 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 |
| 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 | 3 | 2024 |
| 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 | | 2025 |
| 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, ... | | |
