Publikationen pro Jahr
Publikationen pro Jahr
- 8 Ergebnisse
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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 AccessDatei -
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 AccessDatei -
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 -
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 -
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-510Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung