Bettina Könighofer

Publikationen

Publikationen pro Jahr 2012 2018 2020 2021 2022 2023 2024 2024

• 22 Beitrag in einem Konferenzband
• 3 Preprint
• 2 Konferenzartikel
• 1 Beitrag in Buch/Bericht
• 1 Mehr
  • 1 Artikel

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 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 mehrWu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, S. 256-278 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14380 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Learning System 100%
  • Systems Analysis 33%
  • Essential Function 16%

• 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). S. 27-39

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Human Engineering 100%

• 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 25-32 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14380 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband
• 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, S. 372--381 10 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Counterfactual Reasoning 100%

• 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, S. 119-137 (Lecture Notes in Computer Science; Band 14380).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Programs 100%
  • Explainable Artificial Intelligence 100%
  • Neural Network 100%
  • Comprehension 50%
  • Decision-Making Process 50%

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

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

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Liveness Property 100%
  • Simplex 100%
  • Hybrid System 50%
  • Reachability Analysis 50%
  • Case Study 25%

• 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 Aufl. Palo Alto, California, USA: AAAI Press, Band 33. S. 80-85 6 S. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Driving Simulator 100%
  • Corrective Action 100%
  • Heuristics 50%
  • Synthesis Algorithm 50%
  • Autonomous Driving 50%

• The IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL2023)

  Pedroza, G., Chen, X. C., Hernández-Orallo, J., Huang, X., Theodorou, A., Matragkas, N., Espinoza, H., Mallah, R., McDermid, J., Castillo-Effen, M., Bossens, D., Koenighofer, B., Tschiatschek, S. & Liu, A., 2023, in: CEUR Workshop Proceedings. 3505

  Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel › Begutachtung
• 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. (Hrsg.). Cham: Springer, S. 335-359 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13701 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Exact Probability 100%

• Correct-by-Construction Runtime Enforcement in AI – A Survey

  Könighofer, B., Bloem, R., Ehlers, R. & Pek, C., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, JF., Bloem, R., Ehlers, R. & Pek, C. (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, S. 650-663 14 S. (Lecture Notes in Computer Science ; Band 13660 ).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung

  • Survey 100%
  • Artificial Intelligence 100%
  • Application Domain 33%
  • Formal Specification 33%
  • Learning Agent 33%

• Online shielding for reinforcement learning

  Könighofer, B., Rudolf, J., Palmisano, A., Tappler, M. & Bloem, R., 23 Sept. 2022, (Elektronische Veröffentlichung vor Drucklegung.) in: Innovations in Systems and Software Engineering.

  Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel › Begutachtung

  Open Access

  • Reinforcement Learning 100%
  • Computation 40%
  • Probability 40%
  • Markov Decision Process 40%
  • Evaluation 20%

• 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. (Hrsg.). ijcai.org, S. 503-510

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Analysis Capability 100%
• 2021

  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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Control 100%
  • Markov Decision Process 100%
  • Learning 100%
  • Reinforcement Learning 50%
  • Performance Requirement 50%

• 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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Large State Space 100%
  • Classical Computer 100%

• 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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Reactive System 100%
  • Synthesis Tool 100%
  • Functionality 25%
  • State Space 25%
  • Model Checking Algorithm 25%
• 2020

  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: Arbeitspapier › Preprint

  • Markov Decision Process 100%
  • Reinforcement Learning 50%
  • Performance Requirement 50%
  • Traffic Control 50%
  • Abstract Representation 50%

• 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 Juni 2020, 19 S. (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Preprint

  • Accident Prevention 100%
  • Experimental Result 25%
  • Recovery 25%
  • Railroad Cars 25%
  • Running System 25%

• 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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 31-316 286 S. 3

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • service robot 100%
  • Arcade Game 100%

• Shield Synthesis for Reinforcement Learning

  Könighofer, B., Bloem, R., Jansen, N. & Lorber, F. L., 29 Okt. 2020, (Elektronische Veröffentlichung vor Drucklegung.) 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. (Hrsg.). Band 1. S. 290-306 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12476 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Reinforcement Learning 100%
  • Reactive System 25%
  • Linear Temporal Logic 25%
  • Artificial Intelligence 25%
  • Research Problem 25%
• 2019

  Run-Time Optimization for Learned Controllers Through Quantitative Games

  Avni, G., Bloem, R., Chatterjee, K., Henzinger, T., Könighofer, B. & Pranger, S., 15 Juli 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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Weighted Automaton 100%
  • Abstract State Space 100%
  • Traffic Light Controller 100%
  • Emergency Vehicle 100%
  • Learning System 100%

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

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

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Minimum Cost 100%
  • Multi Agent Systems 100%
  • Multiagents 25%
  • Mission Planning 20%
• 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, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Shielded Decision-Making in MDPs

  Jansen, N., Könighofer, B., Junges, S. & Bloem, R., 2018, (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Preprint
• 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, S. 533-548 (Lecture Notes in Computer Science; Band 9035).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Reactive System 100%
  • Scalability 100%
  • Model Checking 50%
  • Hardware Design 50%
  • Input/Output 50%
• 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. ., S. 35-42

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Including Linux 100%

• Synthesizing Robust Systems

  Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T., Hofferek, G., Jobstmann, B., Könighofer, B. & Könighofer, R., 2014, in: Acta informatica. 51, 3, S. 193-220

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Reactive System 100%
  • Procedures 100%
  • Normal Operation 100%
  • Bounds 100%
• 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, S. 77-84

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei
• 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). S. 47-53 (Electronic Proceedings in Theoretical Computer Science; Band 84).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Reactive System 100%
  • Requirements Analysis 100%
  • Synthesis Tool 100%
  • Experimental Result 100%
  • Winning Strategy 100%