A Comprehensive Overview of Formal Methods and Deep Learning for Verification and Optimization
| Title: | A Comprehensive Overview of Formal Methods and Deep Learning for Verification and Optimization |
|---|---|
| Authors: | Swaroop, Anand; Singh, Abhishek; Chandra, Girish; Prakash, Shiv; Yadav, Sohan Kumar; Yang, Tiansheng; Rathore, Rajkumar Singh |
| Source: | 2024 International Conference on Decision Aid Sciences and Applications (DASA) Decision Aid Sciences and Applications (DASA), 2024 International Conference on. :1-6 Dec, 2024 |
| Relation: | 2024 International Conference on Decision Aid Sciences and Applications (DASA) |
| Database: | IEEE Xplore Digital Library |