Kein Foto von Bettina Könighofer

Bettina Könighofer

Dipl.-Ing. Dr.techn., BSc

20082019

Research output per year

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Ergründen Sie die Forschungsthemen, in denen Bettina Könighofer aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.

  • 2 Ähnliche Profile

Netzwerk Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.

Publikationen

  • 8 Beitrag in einem Konferenzband
  • 2 Artikel

Run-Time Optimization for Learned Controllers Through Quantitative Games

Avni, G., Bloem, R., Chatterjee, K., Henzinger, T., Könighofer, B. & Pranger, S., 15 Jul 2019, Computer Aided Verification (CAV). Dillig, I. & Tasiran, S. (Hrsg.). 31 Aufl. Springer, Band 11561. S. 630-649 ( Lecture Notes in Computer Science; Band 11561).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
  • Synthesis of Minimum-Cost Shields for Multi-agent Systems

    Bharadwaj, S., Bloem, R., Dimitrova, R., Könighofer, B. & Topcu, U., 10 Jul 2019, 2019 American Control Conference (ACC). ACM/IEEE, S. 1048-1055 8 S.

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

  • Formal Verification of Masked Hardware Implementations in the Presence of Glitches

    Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

    Open Access
    Datei

    Safe Reinforcement Learning via Shielding

    Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S. & Topcu, U., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. S. 2669-2678 10 S.

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

    Shielded Decision-Making in MDPs

    Jansen, N., Könighofer, B., Junges, S. & Bloem, R., 2018, in : arXiv.org e-Print archive. CoRR, abs/1807.06096.

    Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

    Projekte

    • 3 Abschlussdatum

    RiSE - Rigorous Systems Engineering

    Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

    1/03/1131/08/19

    Projekt: Foschungsprojekt

    EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

    Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.

    1/01/1031/12/12

    Projekt: Foschungsprojekt

    Formal Methods for Design & Verification

    Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

    1/02/0815/07/19

    Projekt: Arbeitsgebiet