NIAN-ZE LEEJIE-HONG JIANG2019-10-242019-10-242018189340https://scholars.lib.ntu.edu.tw/handle/123456789/427575Towards Formal Evaluation and Verification of Probabilistic Designjournal article10.1109/tc.2018.28074312-s2.0-85042687231