Filip Cano Cordoba
Ing.Formal Methods, PhD Candidate
Publications
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Judson S., Elacqua M., Cano Cordoba F., Antonopoulos T., Könighofer B., Shapiro S., Piskac R.
CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law, 2024 Computer Science and Law Symposium, 73-85
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Bensalem S., Katsaros P., Nickovic D., Liao B., Nolasco R., Ahmed M., Beyene T., Cano Cordoba 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., Wu C.
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings, 1st International Conference on Bridging the Gap between AI and Reality, 256-278, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS)
Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty
Cano Cordoba F., Judson S., Antonopoulos T., Bjørner K., Shoemaker N., Shapiro S., Piskac R., Könighofer B.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 32nd International Joint Conference on Artificial Intelligence, 372--381
Safety Shielding under Delayed Observation
Cano Cordoba F., Palmisano A., Fränzle M., Bloem R., Könighofer B.
Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press, 80-85, (Proceedings International Conference on Automated Planning and Scheduling, ICAPS)
Formal XAI via Syntax-Guided Synthesis
Bjørner K., Judson S., Cano Cordoba F., Goldman D., Shoemaker N., Piskac R., Könighofer B.
Bridging the Gap Between AI and Reality , 1st International Conference on Bridging the Gap between AI and Reality, 119-137, (Lecture Notes in Computer Science; vol. 14380)