No photo of Bettina Könighofer

Bettina Könighofer

Ass.Prof. Dipl.-Ing. Dr.techn., BSc

20082024

Research activity per year

Filter
Conference paper

Search results

  • 2024

    Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

    Bensalem, S., Katsaros, P., Ničković, D., Liao, B. H. C., Nolasco, R. R., Ahmed, M. A. E. S., Beyene, T. A., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Ponchant, M., Sorokin, L., Tong, S., & 1 othersWu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Cham: Springer Science and Business Media Deutschland GmbH, p. 256-278 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data

    Tappler, M., Pferscher, A., Aichernig, B. & Könighofer, B., 2024, 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE). p. 27-39

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Welcome Remarks from AISoLA 2023/Track C2 Chairs

    Jansen, N., Könighofer, B., Křetínský, J. & Larsen, K., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 25-32 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  • 2023

    Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty

    Cano Córdoba, F., Judson, S., Antonopoulos, T., Bjørner, K., Shoemaker, N., Shapiro, S., Piskac, R. & Könighofer, B., Aug 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. ijcai.org, p. 372--381 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Formal XAI via Syntax-Guided Synthesis

    Bjørner, K., Judson, S., Cano, F., Goldman, D., Shoemaker, N., Piskac, R. & Könighofer, B., 2023, Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Springer, p. 119-137 (Lecture Notes in Computer Science; vol. 14380).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

    Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., May 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 141-160 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Safety Shielding under Delayed Observation

    Cano Córdoba, F., Palmisano, A., Fränzle, M., Bloem, R. & Könighofer, B., 2023, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). 1 ed. Palo Alto, California, USA: AAAI Press, Vol. 33. p. 80-85 6 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2022

    Automata Learning meets Shielding

    Tappler, M., Pranger, S., Könighofer, B., Muskardin, E., Bloem, R. & Larsen, K. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings: ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 335-359 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • Search-Based Testing of Reinforcement Learning

    Tappler, M., Cano Cordoba, F., Aichernig, B. & Könighofer, B., 2022, Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022). De Raedt, L. (ed.). ijcai.org, p. 503-510

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
  • 2021

    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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-review

  • 2020

    Safe Reinforcement Learning Using Probabilistic Shields

    Jansen, N., Könighofer, B., Junges, S., Serban, A. & Bloem, R., 2020, 31st International Conference on Concurrency Theory, CONCUR 2020: 31st CONCUR 2020: Vienna, Austria (Virtual Conference). Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 31-316 286 p. 3

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Shield Synthesis for Reinforcement Learning

    Könighofer, B., Bloem, R., Jansen, N. & Lorber, F. L., 29 Oct 2020, (E-pub ahead of print) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Vol. 1. p. 290-306 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2019

    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. (eds.). 31 ed. Springer, Vol. 11561. p. 630-649 ( Lecture Notes in Computer Science; vol. 11561).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    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, p. 1048-1055 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2018

    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, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • 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. p. 2669-2678 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2015

    Shield Synthesis: - Runtime Enforcement for Reactive Systems

    Bloem, R. P., Könighofer, B., Könighofer, R. & Wang, C., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, p. 533-548 (Lecture Notes in Computer Science; vol. 9035).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2014

    Synthesis of Synchronization using Uninterpreted Functions

    Bloem, R. P., Hofferek, G., Könighofer, B., Könighofer, R., Außerlechner, S. & Spörk, R., 2014, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. ., p. 35-42

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2013

    Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

    Hofferek, G., Gupta, A., Könighofer, B., Jiang, J-H. R. & Bloem, R. P., 2013, FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, p. 77-84

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2012

    Synthesizing Robust Systems with RATSY

    Bloem, R. P., Gamauf, H-J., Hofferek, G., Könighofer, B. & Könighofer, R., 2012, Proceedings First Workshop on Synthesis (SYNT 2012). p. 47-53 (Electronic Proceedings in Theoretical Computer Science; vol. 84).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File