EU - FOCETA - Foundations for continuous engineering of trustworthy autonomy

Project: Research project

  • 7 Conference paper
  • 1 Article
  • 1 Conference article
Filter
Conference paper

Search results

  • 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 Córdoba, 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

    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