DRDO has sponsored a project on "Formal verification of neural networks as applied to autonomous systems" for a period of 2.5 years from July 2019 with Meenakshi D'Souza as the PI and G. Srinivasa Raghavan as the Co-PI. More details can be found here. here