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)

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)