| Safe reinforcement learning via shielding M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018 | 1121 | 2018 |
| Safe reinforcement learning using probabilistic shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem 31st International Conference on Concurrency Theory (CONCUR 2020), 3: 1-3: 16, 2020 | 180 | 2020 |
| Shield synthesis: Runtime enforcement for reactive systems R Bloem, B Könighofer, R Könighofer, C Wang International conference on tools and algorithms for the construction and …, 2015 | 179 | 2015 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3), 193-220, 2014 | 178 | 2014 |
| Formal verification of masked hardware implementations in the presence of glitches R Bloem, H Groß, R Iusupov, B Könighofer, S Mangard, J Winter Annual International Conference on the Theory and Applications of …, 2018 | 145 | 2018 |
| Shield synthesis B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ... Formal Methods in System Design 51 (2), 332-361, 2017 | 92 | 2017 |
| Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem International symposium on leveraging applications of formal methods, 290-306, 2020 | 83 | 2020 |
| Shielded decision-making in MDPs N Jansen, B Könighofer, S Junges, R Bloem arXiv preprint arXiv:1807.06096, 2018 | 59 | 2018 |
| 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 |
| Online shielding for reinforcement learning B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem Innovations in Systems and Software Engineering 19 (4), 379-394, 2023 | 45 | 2023 |
| Search-based testing of reinforcement learning M Tappler, FC Córdoba, BK Aichernig, B Könighofer Proceedings of the Thirty-First International Joint Conference on Artificial …, 2022 | 39 | 2022 |
| 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 |
| Synthesis of minimum-cost shields for multi-agent systems S Bharadwaj, R Bloem, R Dimitrova, B Konighofer, U Topcu 2019 American Control Conference (ACC), 1048-1055, 2019 | 26 | 2019 |
| Synthesis of synchronization using uninterpreted functions R Bloem, G Hofferek, B Könighofer, R Könighofer, S Ausserlechner, ... 2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014 | 25 | 2014 |
| 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 |
| Safe reinforcement learning via probabilistic shields N Jansen, B Könighofer, S Junges, AC Serban, R Bloem arXiv preprint arXiv:1807.06096, 2018 | 22 | 2018 |
| Synthesizing multiple boolean functions using interpolation on a single proof G Hofferek, A Gupta, B Könighofer, JHR Jiang, R Bloem 2013 Formal Methods in Computer-Aided Design, 77-84, 2013 | 21 | 2013 |
| Correct-by-construction runtime enforcement in AI–A survey B Könighofer, R Bloem, R Ehlers, C Pek Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 20 | 2022 |
| Online shielding for stochastic systems B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem NASA Formal Methods Symposium, 231-248, 2021 | 20 | 2021 |
Roderick BloemGraz University of TechnologyVerified email at tugraz.at
