No photo of Bettina Könighofer

Bettina Könighofer

Dipl.-Ing. Dr.techn., BSc

20082021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Bettina Könighofer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Adaptive Shielding under Uncertainty.

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

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • 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. (eds.). Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12673 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • 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. (eds.). Cham: Springer, p. 222-228 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12971 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Adaptive Shielding under Uncertainty

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

    Research output: Working paperPreprint

  • 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 p. (arXiv.org e-Print archive).

    Research output: Working paperPreprint