Foto von Filip Cano Cordoba
20222024

Publikationen pro Jahr

Suchergebnisse

  • 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 mehrWu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, S. 256-278 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14380 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    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, S. 372--381 10 S.

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • 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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • 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. (Hrsg.). ijcai.org, S. 503-510

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access