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