Search-Based Testing of Reinforcement Learning. - Martin Tappler; Filip Cano Córdoba; Bernhard K. Aichernig; Bettina Könighofer (IJCAI, 2022)

Safety Shielding under Delayed Observation. - Filip Cano Córdoba; Alexander Palmisano; Martin Fränzle; Roderick Bloem; Bettina Könighofer (ICAPS, 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 (IJCAI, 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 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Formal XAI via Syntax-Guided Synthesis. - Katrine Bjørner; Samuel Judson; Filip Cano 001; Drew Goldman; Nicholas Shoemaker; Ruzica Piskac; Bettina Könighofer (AISoLA, 2023)

Accountable Software Systems (Dagstuhl Seminar 23411). - Bettina Könighofer; Joshua A. Kroll; Ruzica Piskac; Michael Veale; Filip Cano Córdoba (Dagstuhl Reports, 2023)

soid: A Tool for Legal Accountability for Automated Decision Making. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CAV (2), 2024)

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CSLAW, 2024)

Abstraction-Based Decision Making for Statistical Properties (Invited Talk). - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (FSCD, 2024)

Machine Unlearning using Forgetting Neural Networks. - Amartya Hatua; Trung T. Nguyen; Filip Cano 001; Andrew H. Sung (CoRR, 2024)

Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). - Jyotirmoy Deshmukh; Bettina Könighofer; Dejan Nickovic; Filip Cano 001 (Dagstuhl Reports, 2024)

Fairness Shields: Safeguarding against Biased Decision Makers. - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (AAAI, 2025)

Towards Responsible AI: Advances in Safety, Fairness, and Accountability of Autonomous Systems. - Filip Cano 001 (CoRR, 2025)

Algorithmic Fairness: A Runtime Perspective. - Filip Cano 001; Thomas A. Henzinger; Konstantin Kueffner (CoRR, 2025)