Research output per year
Research output per year
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 AccessFile -
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 AccessFile -
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 -
Online shielding for reinforcement learning
Könighofer, B., Rudolf, J., Palmisano, A., Tappler, M. & Bloem, R., 23 Sept 2022, (E-pub ahead of print) In: Innovations in Systems and Software Engineering.Research output: Contribution to journal › Conference article › peer-review
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. (ed.). ijcai.org, p. 503-510Research 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