| Fast verified SCCs for probabilistic model checking A Hartmanns, B Kohlen, P Lammich International Symposium on Automated Technology for Verification and …, 2023 | 6 | 2023 |
| Tweaking the odds in probabilistic timed automata A Hartmanns, JP Katoen, B Kohlen, J Spel International Conference on Quantitative Evaluation of Systems, 39-58, 2021 | 6 | 2021 |
| Backwards Reachability for Probabilistic Timed Automata: A Replication Report A Hartmanns, B Kohlen arXiv preprint arXiv:2208.11928, 2022 | 2 | 2022 |
| Efficient formally verified maximal end component decomposition for mdps A Hartmanns, B Kohlen, P Lammich International Symposium on Formal Methods, 206-225, 2024 | 1 | 2024 |
| A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs B Kohlen, M Schäffeler, M Abdulaziz, A Hartmanns, P Lammich arXiv preprint arXiv:2501.10127, 2025 | | 2025 |
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
