Filip Cano Cordoba
7 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22103 |
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.)
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22294 |
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
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.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22321 |
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
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.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
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
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.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22999 |
|
|
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.)
H. Odriozola-Olalde, F. Cano Cordoba, B. Könighofer, N. Arana-Arexolaleiba, M. Zamalloa, J. Perez-Cerrolaza, Intelligent Systems with Applications 32 (2026).
2025 |
Published |
Conference Paper |
IST-REx-ID: 19665 |
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
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.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
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
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
Grants
7 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22103 |
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.)
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22294 |
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
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.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22321 |
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
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.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
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
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.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22999 |
|
|
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.)
H. Odriozola-Olalde, F. Cano Cordoba, B. Könighofer, N. Arana-Arexolaleiba, M. Zamalloa, J. Perez-Cerrolaza, Intelligent Systems with Applications 32 (2026).
2025 |
Published |
Conference Paper |
IST-REx-ID: 19665 |
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
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.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
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
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.