1 paper
Tajana Ban Kirigin, Jesse Comer, Max Kanovich +2
Most research on formal system design has focused on optimizing various measures of efficiency. However, insufficient attention has been given to the design of systems optimizing r…