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 |
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 | 4 | 2023 |
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 |
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 | | |