Filip Cano Córdoba

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 9

Top Topics

Precisely Defined

Search Based Testing

Software Systems

Top Venues

Publications

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. CoRR (2023)
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
Safety Shielding under Delayed Observation. ICAPS (2023)
Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba
Accountable Software Systems (Dagstuhl Seminar 23411). Dagstuhl Reports 13 (10) (2023)
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
Safety Shielding under Delayed Observation. CoRR (2023)
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. IJCAI (2023)
Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
Formal XAI via Syntax-Guided Synthesis. AISoLA (2023)
Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CoRR (2023)
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
Search-Based Testing of Reinforcement Learning. CoRR (2022)
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
Search-Based Testing of Reinforcement Learning. IJCAI (2022)