Filip Cano Córdoba

According to our database, Filip Cano Córdoba authored at least 6 papers between 2022 and 2023.

Collaborative distances:

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

2023

Accountable Software Systems (Dagstuhl Seminar 23411).

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

Dagstuhl Reports, 2023

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

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

CoRR, 2023

Formal XAI via Syntax-Guided Synthesis.

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

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