Matthew Elacqua

According to our database, Matthew Elacqua authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Symposium on Computer Science and Law, 2024

soid: A Tool for Legal Accountability for Automated Decision Making.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Computer Aided Verification - 36th International Conference, 2024