The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems.

Kunal Agrawal, Sanjoy K. Baruah, Zhishan Guo, Jing Li

Browse the full ICCAD paper archive.