Filip Cano Cordoba

Research output

Research output per year 2022 2023 2024

• 5 Conference paper

Research output per year

Research output per year

Search results

• 2024

  Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

  Bensalem, S., Katsaros, P., Ničković, D., Liao, B. H. C., Nolasco, R. R., Ahmed, M. A. E. S., Beyene, T. A., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Ponchant, M., Sorokin, L., Tong, S., & 1 othersWu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Cham: Springer Science and Business Media Deutschland GmbH, p. 256-278 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access
• 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

• 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

  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-510

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access