Verification of Autonomous Systems: Hyperproperties in Machine Learning Award Number FA9550-23-1-0135 Sponsors AFOSR Lead PI T Johnson
