Kunal Agrawal, Sanjoy Baruah, Zhishan Guo, Jing Li 0025. The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020. pages 1-9, IEEE, 2020. [doi]
@inproceedings{AgrawalBGL20,
title = {The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems},
author = {Kunal Agrawal and Sanjoy Baruah and Zhishan Guo and Jing Li 0025},
year = {2020},
url = {https://ieeexplore.ieee.org/document/9256415},
researchr = {https://researchr.org/publication/AgrawalBGL20},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020},
publisher = {IEEE},
}