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