| Search-based testing of reinforcement learning M Tappler, F Cano Córdoba, BK Aichernig, B Könighofer International Joint Conference on Artificial Intelligence (IJCAI), 503--510, 2022 | 13 | 2022 |
| Theory of intelligence with forgetting: Mathematical theorems explaining human universal forgetting using “forgetting neural networks” F Cano-Córdoba, S Sarma, B Subirana Center for Brains, Minds and Machines (CBMM), 2017 | 4 | 2017 |
| Continuous engineering for trustworthy learning-enabled autonomous systems S Bensalem, P Katsaros, D Ničković, BHC Liao, RR Nolasco, ... International Conference on Bridging the Gap between AI and Reality, 256-278, 2023 | 3 | 2023 |
| Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty F Cano Córdoba, S Judson, T Antonopoulos, K Bjorner, N Shoemaker, ... International Joint Conference on Artificial Intelligence (IJCAI), 372 -- 381, 2023 | 2* | 2023 |
| 'Put the Car on the Stand' SMT-based Oracles for Investigating Decisions S Judson, M Elacqua, F Cano, T Antonopoulos, B Könighofer, SJ Shapiro, ... Proceedings of the Symposium on Computer Science and Law, 73-85, 2024 | 1 | 2024 |
| Formal XAI via syntax-guided synthesis K Bjørner, S Judson, F Cano, D Goldman, N Shoemaker, R Piskac, ... International Conference on Bridging the Gap between AI and Reality, 119-137, 2023 | 1 | 2023 |
| Theoretical study of artificial neural networks F Cano Córdoba Universitat Politècnica de Catalunya, 2018 | 1 | 2018 |
| Accountable Software Systems (Dagstuhl Seminar 23411) B Könighofer, JA Kroll, R Piskac, M Veale, FC Córdoba Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| Safety Shielding under Delayed Observation F Cano Córdoba, A Palmisano, M Fränzle, R Bloem, B Könighofer Proceedings of the International Conference on Automated Planning and …, 2023 | | 2023 |
| An Introduction to Polytope Theory through Ehrhart's Theorem F Cano Córdoba Universitat Politècnica de Catalunya, 2019 | | 2019 |
| 5 Open problems 5.1 Concluding Exercise: Open Questions M Veale, T Arnold, FC Córdoba, C Cath, H Chockler, A Cohen, M Davies, ... Accountable Software Systems, 46, 0 | | |
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaDirección de correo verificada de iaik.tugraz.at
