Filip Cano Cordoba

Filip Cano Cordoba

Ing.

 https://orcid.org/0000-0002-0783-904X
20222024

Research activity per year

Fingerprint

Dive into the research topics where Filip Cano Cordoba is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 6 Conference paper

  • 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

  • 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

    Judson, S., Elacqua, M., Cano, F., Antonopoulos, T., Könighofer, B., Shapiro, S. & Piskac, R., 12 Mar 2024, CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law. p. 73-85 13 p.

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

    Open Access

  • 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
View all 6 research outputs
  • 2 Talk at conference or symposium
  • 1 Talk at workshop, seminar or course