7 Publications

Mark all

[7]
2026 | Published | Conference Paper | IST-REx-ID: 22103 | OA
Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 
[6]
2026 | Published | Conference Paper | IST-REx-ID: 22294 | OA
Machine unlearning using forgetting neural networks
A. Hatua, T. Nguyen, F. Cano Cordoba, A. Sung, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, SciTePress, 2026, pp. 1536–1546.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[5]
2026 | Published | Conference Paper | IST-REx-ID: 22321 | OA
Energy shields for fairness
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2026, pp. 4243–4275.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2026 | Published | Conference Paper | IST-REx-ID: 22921 | OA
Monitoring discounted sum properties
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, N.E. Sarac, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version] View | Files available | DOI | arXiv
 
[3]
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22999 | OA | PlanS
Shielded reinforcement learning for industrial applications: A systematic literature survey
H. Odriozola-Olalde, F. Cano Cordoba, B. Könighofer, N. Arana-Arexolaleiba, M. Zamalloa, J. Perez-Cerrolaza, Intelligent Systems with Applications 32 (2026).
[Published Version] View | DOI | Download Published Version (ext.)
 
[2]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed

Grants


7 Publications

Mark all

[7]
2026 | Published | Conference Paper | IST-REx-ID: 22103 | OA
Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 
[6]
2026 | Published | Conference Paper | IST-REx-ID: 22294 | OA
Machine unlearning using forgetting neural networks
A. Hatua, T. Nguyen, F. Cano Cordoba, A. Sung, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, SciTePress, 2026, pp. 1536–1546.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[5]
2026 | Published | Conference Paper | IST-REx-ID: 22321 | OA
Energy shields for fairness
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2026, pp. 4243–4275.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2026 | Published | Conference Paper | IST-REx-ID: 22921 | OA
Monitoring discounted sum properties
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, N.E. Sarac, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version] View | Files available | DOI | arXiv
 
[3]
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22999 | OA | PlanS
Shielded reinforcement learning for industrial applications: A systematic literature survey
H. Odriozola-Olalde, F. Cano Cordoba, B. Könighofer, N. Arana-Arexolaleiba, M. Zamalloa, J. Perez-Cerrolaza, Intelligent Systems with Applications 32 (2026).
[Published Version] View | DOI | Download Published Version (ext.)
 
[2]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed