Specifying and Testing $k$-Safety Properties for Machine-Learning Models

Re-assign community