Research
Title : | Formal verification of neural networks as applied to autonomous system |
Area of research : | Engineering Sciences |
Focus area : | Directorate of Extramural Research & Intellectual Property Rights, ER & IPR |
Principal Investigator : | Mrs. M. D'Souza, Associate Professor, International Institute of Information Technology, Karnataka |
Timeline Start Year : | 2019 |
Timeline End Year : | 2022 |
Details
Total Budget (INR): | 15,71,000 |
Organizations involved
Implementing Agency : | International Institute of Information Technology, Karnataka |
Funding Agency : | Defence Research and Development Organisation (DRDO) |
Source : | Extramural R&D Projects listed in NSTMIS database 2019-20 |