Filip Cano

According to our database, Filip Cano authored at least 12 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071).

Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano

Dagstuhl Reports, 2024

Fairness Shields: Safeguarding against Biased Decision Makers.

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik

CoRR, 2024

Machine Unlearning using Forgetting Neural Networks.

Amartya Hatua, Trung T. Nguyen, Filip Cano, Andrew H. Sung

CoRR, 2024

Abstraction-Based Decision Making for Statistical Properties (Invited Talk).

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

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

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Symposium on Computer Science and Law, 2024

soid: A Tool for Legal Accountability for Automated Decision Making.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Accountable Software Systems (Dagstuhl Seminar 23411).

Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba

Dagstuhl Reports, 2023

Formal XAI via Syntax-Guided Synthesis.

Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Safety Shielding under Delayed Observation.

Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Search-Based Testing of Reinforcement Learning.

Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022