Run-time optimization for learned controllers through quantitative games G Avni, R Bloem, K Chatterjee, TA Henzinger, B Könighofer, S Pranger Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 44 | 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 | 21 | 2021 |
TEMPEST-synthesis tool for reactive systems and shields in probabilistic environments S Pranger, B Könighofer, L Posch, R Bloem Automated Technology for Verification and Analysis: 19th International …, 2021 | 10 | 2021 |
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 | 7 | 2022 |
Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | 2 | 2024 |
Automata Learning meets Shielding B Könighofer, M Tappler, S Pranger, R Bloem, E Muskardin, KG Larsen ISOLA 2022: 11th International Symposium On Leveraging Applications of …, 2022 | | 2022 |
Tools at the Frontiers of Quantitative Verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | | |