According to our database1, Bettina Könighofer authored at least 10 papers between 2012 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Run-Time Optimization for Learned Controllers Through Quantitative Games.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Formal Verification of Masked Hardware Implementations in the Presence of Glitches.
Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018
Safe Reinforcement Learning via Shielding.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Formal Methods in System Design, 2017
Synthesis of Admissible Shields.
Proceedings of the Hardware and Software: Verification and Testing, 2016
Shield Synthesis: - Runtime Enforcement for Reactive Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Synthesizing robust systems.
Acta Inf., 2014
Synthesis of synchronization using uninterpreted functions.
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Synthesizing multiple boolean functions using interpolation on a single proof.
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Synthesizing Robust Systems with RATSY
Proceedings of the Proceedings First Workshop on Synthesis, 2012