Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac. 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. In Proceedings of the Symposium on Computer Science and Law, CSLAW 2024, Boston, MA, USA, March 12-13, 2024. pages 73-85, ACM, 2024. [doi]
Abstract is missing.