DOI
10.1109/DASA63652.2024.10836654
Link
https://ieeexplore.ieee.org/abstract/document/10836654
Year of Publication
2024
Other Authors
Shiv Prakash, Sohan Kumar Yadav, Tiansheng Yang, Rajkumar Singh Rathore
Type
Conference Proceedings
Published in
IEEE
Publication Title
A Comprehensive Overview of Formal Methods and Deep Learning for Verification and Optimization
Status
International
First Author
Anand Swaroop
Second Author
Abhishek Singh
Third Author
Girish Chandra
Status of Paper
Published
Related Department
Electronics & Communication Engineering Department
Nature
SCOPUS
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Dec