EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie

Projekt: Forschungsprojekt

Suchergebnisse

  • 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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

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

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

  • 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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • 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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • 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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Datei
  • 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 FachzeitschriftKonferenzartikelBegutachtung

    Open Access
  • 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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
  • 2021

    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