Kein Foto von Bettina Könighofer

Bettina Könighofer

Dipl.-Ing. Dr.techn., BSc

20082021

Publikationen pro Jahr

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.
  • 1 Ähnliche Profile

Netzwerk

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
  • Adaptive Shielding under Uncertainty.

    Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 25 Mai 2021, 2021 American Control Conference, ACC 2021. S. 3467-3474 8 S. 9482889. (Proceedings of the American Control Conference; Band 2021-May).

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

  • Online Shielding for Stochastic Systems

    Könighofer, B., Bloem, R., Tappler, M., Rudolf, J. & Palmisano, A., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. Dutle, A., Muñoz, C. A., Moscato, M. M., Titolo, L. & Perez, I. (Hrsg.). Cham: Springer, S. 231-248 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12673 LNCS).

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

  • TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

    Pranger, S., Könighofer, B., Posch, L. & Bloem, R., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Cham: Springer, S. 222-228 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12971 LNCS).

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

  • Adaptive Shielding under Uncertainty

    Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 8 Okt 2020, 8 S. (arXiv.org e-Print archive).

    Publikation: ArbeitspapierPreprint

  • It's Time to Play Safe: Shield Synthesis for Timed Systems

    Bloem, R., Jensen, P. G., Könighofer, B., Larsen, K. G., Lorber, F. & Palmisano, A. M., 30 Jun 2020, 19 S. (arXiv.org e-Print archive).

    Publikation: ArbeitspapierPreprint