{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T20:10:06Z","timestamp":1756239006668,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T00:00:00Z","timestamp":1710201600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/R014604\/1"],"award-info":[{"award-number":["EP\/R014604\/1"]}]},{"name":"United States Department of Defense","award":["NDSEG Fellowship"],"award-info":[{"award-number":["NDSEG Fellowship"]}]},{"name":"State Government of Styria, Austria ? Department Zukunftsfonds Steiermark"},{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-2131476, CCF-2106845, CCF-2318974"],"award-info":[{"award-number":["CCF-2131476, CCF-2106845, CCF-2318974"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,3,12]]},"DOI":"10.1145\/3614407.3643699","type":"proceedings-article","created":{"date-parts":[[2024,2,26]],"date-time":"2024-02-26T06:21:52Z","timestamp":1708928512000},"page":"73-85","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["'Put the Car on the Stand'"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1270-6601","authenticated-orcid":false,"given":"Samuel","family":"Judson","sequence":"first","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3182-0155","authenticated-orcid":false,"given":"Matthew","family":"Elacqua","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0783-904X","authenticated-orcid":false,"given":"Filip","family":"Cano","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9654-4090","authenticated-orcid":false,"given":"Timos","family":"Antonopoulos","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5183-5452","authenticated-orcid":false,"given":"Bettina","family":"K\u00f6nighofer","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7258-2738","authenticated-orcid":false,"given":"Scott J.","family":"Shapiro","sequence":"additional","affiliation":[{"name":"Yale Law School & Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3267-0776","authenticated-orcid":false,"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,3,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Memorandum Opinion Thaler v. Shira Perlmutter et al. (2023) (No. 1:22-cv-01564-BAH) https:\/\/storage.courtlistener.com\/recap\/gov.uscourts.dcd.243956\/gov.uscourts.dcd.243956.24.0_2.pdf."},{"key":"e_1_3_2_1_2_1","volume-title":"Adversarial Scrutiny of Evidentiary Statistical Software. In ACM Conference on Fairness, Accountability, and Transparency (FAccT '22)","author":"Abebe Rediet","year":"2022","unstructured":"Rediet Abebe, Moritz Hardt, Angela Jin, John Miller, Ludwig Schmidt, and Rebecca Wexler. 2022. Adversarial Scrutiny of Evidentiary Statistical Software. In ACM Conference on Fairness, Accountability, and Transparency (FAccT '22). 1733--1746."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2870052"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"e_1_3_2_1_5_1","volume-title":"ProPublica (May 23rd","author":"Angwin Julia","year":"2016","unstructured":"Julia Angwin, Jeff Larson, Surya Mattu, and Lauren Kirchner. May 23rd, 2016. Machine Bias. ProPublica (May 23rd, 2016). https:\/\/www.propublica.org\/article\/machine-bias-risk-assessments-in-criminal-sentencing."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2019.12.012"},{"key":"e_1_3_2_1_7_1","volume-title":"From Verification to Causality-based Explications. arXiv preprint arXiv:2105.09533","author":"Baier Christel","year":"2021","unstructured":"Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, and Robin Ziemek. 2021a. From Verification to Causality-based Explications. arXiv preprint arXiv:2105.09533 (2021)."},{"key":"e_1_3_2_1_8_1","volume-title":"A Game-Theoretic Account of Responsibility Allocation. arXiv preprint arXiv:2105.09129","author":"Baier Christel","year":"2021","unstructured":"Christel Baier, Florian Funke, and Rupak Majumdar. 2021b. A Game-Theoretic Account of Responsibility Allocation. arXiv preprint arXiv:2105.09129 (2021)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i13.17395"},{"key":"e_1_3_2_1_10_1","volume-title":"Camil Demetrescu, and Irene Finocchi.","author":"Baldoni Roberto","year":"2018","unstructured":"Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51, 3, Article 50 (2018)."},{"key":"e_1_3_2_1_11_1","unstructured":"Clark Barrett Pascal Fontaine and Cesare Tinelli. 2021. The SMT-LIB Standard: Version 2.6."},{"key":"e_1_3_2_1_12_1","volume-title":"Stanford Encyclopedia of Philosophy, Edward N","author":"Beebee Helen","year":"1987","unstructured":"Helen Beebee and Peter Menzies. 2019. Counterfactual Theories of Causation. In Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). Stanford University. Michael Bratman. 1987. Intention, Plans, and Practical Reason."},{"key":"e_1_3_2_1_13_1","volume-title":"Pollack","author":"Bratman Michael E.","year":"1988","unstructured":"Michael E. Bratman, David J. Israel, and Martha E. Pollack. 1988. Plans and Resource-Bounded Practical Reasoning. Computational intelligence 4, 3 (1988), 349--355."},{"volume-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In USENIX Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Cadar Cristian","key":"e_1_3_2_1_14_1","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In USENIX Symposium on Operating Systems Design and Implementation (OSDI '08). 209--224."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/42"},{"key":"e_1_3_2_1_16_1","unstructured":"Maxime Chevalier-Boisvert Florian Golemo Yanjun Cao Bhairav Mehta and Liam Paull. 2018. Duckietown Environments for OpenAI Gym. https:\/\/github.com\/duckietown\/gym-duckietown."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622487.1622491"},{"key":"e_1_3_2_1_18_1","volume-title":"Automated Safety Verification of Programs Invoking Neural Networks. In International Conference on Computer Aided Verification (CAV '21)","author":"Christakis Maria","year":"2021","unstructured":"Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, J\u00f6rg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A Navas, and Valentin W\u00fcstholz. 2021. Automated Safety Verification of Programs Invoking Neural Networks. In International Conference on Computer Aided Verification (CAV '21). Springer, 201--224."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Cole David","key":"e_1_3_2_1_20_1","unstructured":"David Cole. 2020. The Chinese Room Argument. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). Stanford University."},{"key":"e_1_3_2_1_21_1","volume-title":"How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles. In IEEE Symposium on Security and Privacy (Oakland '17)","author":"Contag Moritz","year":"2017","unstructured":"Moritz Contag, Guo Li, Andre Pawlowski, Felix Domke, Kirill Levchenko, Thorsten Holz, and Stefan Savage. 2017. How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles. In IEEE Symposium on Security and Privacy (Oakland '17). IEEE, 231--250."},{"key":"e_1_3_2_1_22_1","volume-title":"Amazon scraps secret AI recruiting tool that showed bias against women","author":"Dastin Jeffrey","year":"2018","unstructured":"Jeffrey Dastin. 2018. Amazon scraps secret AI recruiting tool that showed bias against women. Reuters (2018). https:\/\/www.reuters.com\/article\/us-amazon-com-jobs-automation-insight\/amazon-scraps-secret-ai-recruiting-tool-that-showed-bias-against-women-idUSKCN1MK08G."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.25"},{"key":"e_1_3_2_1_24_1","first-page":"1","article-title":"Artificial Creativity: Emergent Works and the Void in Current Copyright Doctrine","volume":"22","author":"Dornis Tim W.","year":"2020","unstructured":"Tim W. Dornis. 2020. Artificial Creativity: Emergent Works and the Void in Current Copyright Doctrine. Yale JL & Tech. 22 (2020), 1.","journal-title":"Yale JL & Tech."},{"key":"e_1_3_2_1_25_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2019","unstructured":"Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit A. Seshia. 2019. VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-based Systems. In Intentional Conference on Computer Aided Verification (CAV '19). Springer, 432--442."},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Edwards James","key":"e_1_3_2_1_26_1","unstructured":"James Edwards. 2021. Theories of Criminal Law. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). Stanford University."},{"volume-title":"Proceedings of the 2011 New Security Paradigms Workshop. 45--56","author":"Feigenbaum Joan","key":"e_1_3_2_1_27_1","unstructured":"Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright. 2011. Towards a Formal Model of Accountability. In Proceedings of the 2011 New Security Paradigms Workshop. 45--56."},{"key":"e_1_3_2_1_28_1","volume-title":"Wright","author":"Feigenbaum Joan","year":"2020","unstructured":"Joan Feigenbaum, Aaron D. Jaggard, and Rebecca N. Wright. 2020. Accountability in Computing: Concepts and Mechanisms. Foundations and Trends\u00ae in Privacy and Security 2, 4 (2020), 247--399."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2789272.2886795"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"volume-title":"Proceedings of the 2019 AAAI\/ACM Conference on AI, Ethics, and Society (AIES '19)","author":"Ghosh Bishwamittra","key":"e_1_3_2_1_31_1","unstructured":"Bishwamittra Ghosh and Kuldeep S. Meel. 2019. IMLI: An Incremental Framework for MaxSAT-based Learning of Interpretable Classification Rules. In Proceedings of the 2019 AAAI\/ACM Conference on AI, Ethics, and Society (AIES '19). 203--210."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236009"},{"key":"e_1_3_2_1_33_1","unstructured":"Gabriel Hallevy. 2013. When Robots Kill: Artificial Intelligence Under Criminal Law. UPNE."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/axi147"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/axi148"},{"key":"e_1_3_2_1_36_1","volume-title":"Timos Antonopoulos, Bettina K\u00f6nighofer, Scott J Shapiro, and Ruzica Piskac.","author":"Judson Samuel","year":"2023","unstructured":"Samuel Judson, Matthew Elacqua, Filip Cano C\u00f3rdoba, Timos Antonopoulos, Bettina K\u00f6nighofer, Scott J Shapiro, and Ruzica Piskac. 2023. 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. arXiv preprint arXiv:2305.05731 (2023)."},{"key":"e_1_3_2_1_37_1","volume-title":"The Marabou Framework for Verification and Analysis of Deep Neural Networks. In International Conference on Computer Aided Verification (CAV '19)","author":"Katz Guy","year":"2019","unstructured":"Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji\u0107, David L. Dill, Mykel J. Kochenderfer, and Clark Barrett. 2019. The Marabou Framework for Verification and Analysis of Deep Neural Networks. In International Conference on Computer Aided Verification (CAV '19). 443--452."},{"key":"e_1_3_2_1_38_1","first-page":"633","article-title":"Accountable Algorithms","volume":"165","author":"Kroll Joshua A.","year":"2017","unstructured":"Joshua A. Kroll, Joanna Huey, Solon Barocas, Edward W. Felten, Joel R. Reidenberg, David G. Robinson, and Harlan Yu. 2017. Accountable Algorithms. University of Pennsylvania Law Review 165, 3 (2017), 633--705.","journal-title":"University of Pennsylvania Law Review"},{"key":"e_1_3_2_1_39_1","volume-title":"Automated Verification of Accountability in Security Protocols. In 2019 IEEE 32nd Computer Security Foundations Symposium (CSF '19)","author":"K\u00fcnnemann Robert","year":"2019","unstructured":"Robert K\u00fcnnemann, Ilkan Esiyok, and Michael Backes. 2019. Automated Verification of Accountability in Security Protocols. In 2019 IEEE 32nd Computer Security Foundations Symposium (CSF '19). IEEE, 397--39716."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866366"},{"key":"e_1_3_2_1_41_1","unstructured":"Legal Information Institute. 2023. Respondeat Superior. https:\/\/www.law.cornell.edu\/wex\/respondeat_superior."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.2307\/1597535"},{"key":"e_1_3_2_1_43_1","volume-title":"Originally published","author":"Lewis David","year":"1973","unstructured":"David Lewis. 2013. Counterfactuals. John Wiley & Sons. Originally published in 1973."},{"volume-title":"Stanford Encyclopedia of Philosophy, Edward N","author":"Moore Michael","key":"e_1_3_2_1_44_1","unstructured":"Michael Moore. 2019. Causation in the Law. In Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). Stanford University."},{"key":"e_1_3_2_1_45_1","volume-title":"Explaining Machine Learning Classifiers Through Diverse Counterfactual Explanations. In ACM Conference on Fairness, Accountability, and Transparency (FAT '20)","author":"Mothilal Ramaravind K.","year":"2020","unstructured":"Ramaravind K. Mothilal, Amit Sharma, and Chenhao Tan. 2020. Explaining Machine Learning Classifiers Through Diverse Counterfactual Explanations. In ACM Conference on Fairness, Accountability, and Transparency (FAT '20). 607--617."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"M\u00fcller Vincent C.","key":"e_1_3_2_1_47_1","unstructured":"Vincent C. M\u00fcller. 2023. Ethics of Artificial Intelligence and Robotics. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta and Uri Nodelman (Eds.). Stanford University."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833782"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-022-09308-9"},{"key":"e_1_3_2_1_50_1","volume-title":"Pinocchio: Nearly Practical Verifiable Computation. In 2013 IEEE Symposium on Security and Privacy. IEEE, 238--252","author":"Parno Bryan","year":"2013","unstructured":"Bryan Parno, Jon Howell, Craig Gentry, and Mariana Raykova. 2013. Pinocchio: Nearly Practical Verifiable Computation. In 2013 IEEE Symposium on Security and Privacy. IEEE, 238--252."},{"key":"e_1_3_2_1_51_1","first-page":"473","article-title":"Modeling Rational Agents Within a BDI-Architecture","volume":"91","author":"Rao Anand S.","year":"1991","unstructured":"Anand S. Rao and Michael P. Georgeff. 1991. Modeling Rational Agents Within a BDI-Architecture. KR 91 (1991), 473--484.","journal-title":"KR"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"e_1_3_2_1_53_1","volume-title":"I'm the Operator': The Aftermath of a Self-Driving Tragedy. Wired Magazine","author":"Smiley Lauren","year":"2022","unstructured":"Lauren Smiley. 2022. 'I'm the Operator': The Aftermath of a Self-Driving Tragedy. Wired Magazine (2022). https:\/\/www.wired.com\/story\/uber-self-driving-car-fatal-crash\/."},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Starr William","key":"e_1_3_2_1_54_1","unstructured":"William Starr. 2021. Counterfactuals. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). Stanford University."},{"key":"e_1_3_2_1_55_1","volume-title":"Malioutov","author":"Su Guolong","year":"2015","unstructured":"Guolong Su, Dennis Wei, Kush R. Varshney, and Dmitry M. Malioutov. 2015. Interpretable Two-Level Boolean Rule Learning for Classification. arXiv preprint arXiv:1511.07361 (2015)."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563344"},{"key":"e_1_3_2_1_57_1","first-page":"841","article-title":"Counterfactual Explanations Without Opening the Black Box: Automated Decisions and the GDPR","volume":"31","author":"Wachter Sandra","year":"2017","unstructured":"Sandra Wachter, Brent Mittelstadt, and Chris Russell. 2017. Counterfactual Explanations Without Opening the Black Box: Automated Decisions and the GDPR. Harvard Journal of Law & Technology 31 (2017), 841.","journal-title":"Harvard Journal of Law & Technology"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"e_1_3_2_1_59_1","volume-title":"ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems. In International Conference on Distributed Computing Systems (ICDCS '19)","author":"Yoon Man-Ki","year":"2019","unstructured":"Man-Ki Yoon and Zhong Shao. 2019. ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems. In International Conference on Distributed Computing Systems (ICDCS '19). IEEE, 1149--1160."}],"event":{"name":"CSLAW '24: Symposium on Computer Science and Law","sponsor":["ACM Association for Computing Machinery"],"location":"Boston MA USA","acronym":"CSLAW '24"},"container-title":["Proceedings of the Symposium on Computer Science and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3614407.3643699","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3614407.3643699","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3614407.3643699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:38:49Z","timestamp":1756237129000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3614407.3643699"}},"subtitle":["SMT-based Oracles for Investigating Decisions"],"short-title":[],"issued":{"date-parts":[[2024,3,12]]},"references-count":59,"alternative-id":["10.1145\/3614407.3643699","10.1145\/3614407"],"URL":"https:\/\/doi.org\/10.1145\/3614407.3643699","relation":{},"subject":[],"published":{"date-parts":[[2024,3,12]]},"assertion":[{"value":"2024-03-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}