TY  - RPRT
TI  - 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
AU  - Samuel Judson
AU  - Matthew Elacqua
AU  - Filip Cano
AU  - Timos Antonopoulos
AU  - Bettina Könighofer
AU  - Scott J. Shapiro
AU  - Ruzica Piskac
PY  - 2024
UR  - https://arxiv.org/abs/2305.05731
ID  - 2305.05731
ER  -