| Run-time optimization for learned controllers through quantitative games G Avni, R Bloem, K Chatterjee, TA Henzinger, B Könighofer, S Pranger International Conference on Computer Aided Verification, 630-649, 2019 | 54 | 2019 |
| Adaptive shielding under uncertainty S Pranger, B Könighofer, M Tappler, M Deixelberger, N Jansen, R Bloem 2021 American Control Conference (ACC), 3467-3474, 2021 | 32 | 2021 |
| TEMPEST-synthesis tool for reactive systems and shields in probabilistic environments S Pranger, B Könighofer, L Posch, R Bloem International Symposium on Automated Technology for Verification and …, 2021 | 24 | 2021 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2023 | 22 | 2023 |
| Automata learning meets shielding M Tappler, S Pranger, B Könighofer, E Muškardin, R Bloem, K Larsen International Symposium on Leveraging Applications of Formal Methods, 335-359, 2022 | 12 | 2022 |
| Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning S Pranger, H Chockler, M Tappler, B Könighofer Advances in Neural Information Processing Systems 37, 28103-28126, 2024 | 7 | 2024 |
| Shields for safe reinforcement learning B Könighofer, R Bloem, N Jansen, S Junges, S Pranger Communications of the ACM 68 (11), 80-90, 2025 | 2 | 2025 |
| Tools at the Frontiers of Quantitative Verification (QComp 2023 Competition Report) S Pranger, B Könighofer International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
