| 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 |
| Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018 | 1023 | 2018 |
| Synthesis of reactive (1) designs R Bloem, B Jobstmann, N Piterman, A Pnueli, Y Saʼar Journal of Computer and System Sciences 78 (3), 911-938, 2012 | 585 | 2012 |
| Efficient Büchi automata from LTL formulae F Somenzi, R Bloem International Conference on Computer Aided Verification, 248-263, 2000 | 505 | 2000 |
| Program repair as a game B Jobstmann, A Griesmayer, R Bloem International conference on computer aided verification, 226-238, 2005 | 310 | 2005 |
| Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009 | 268 | 2009 |
| Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016 | 237 | 2016 |
| Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006 | 211 | 2006 |
| 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 |
| Specify, compile, run: Hardware from PSL R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007 | 171 | 2007 |
| Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018 | 164 | 2018 |
| Automatic hardware synthesis from specifications: A case study R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 157 | 2007 |
| RATSY–a new requirements analysis tool with synthesis R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ... International Conference on Computer Aided Verification, 425-429, 2010 | 146 | 2010 |
| 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 |
| Model-based testing IoT communication via active automata learning M Tappler, BK Aichernig, R Bloem 2017 IEEE International conference on software testing, verification and …, 2017 | 144 | 2017 |
| Anzu: A Tool for Property Synthesis: (Tool Paper) B Jobstmann, S Galler, M Weiglhofer, R Bloem International Conference on Computer Aided Verification, 258-262, 2007 | 140 | 2007 |
| Automated error localization and correction for imperative programs R Könighofer, R Bloem 2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011 | 125 | 2011 |
| Efficient decision procedures for model checking of linear time logic properties R Bloem, K Ravi, F Somenzi International Conference on Computer Aided Verification, 222-235, 1999 | 125 | 1999 |
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
