Collaborated with:T.Neupane C.J.Myers C.Madsen Z.Z.0006
Talks about:approxim (1) tochast (1) stamina (1) checker (1) analysi (1) nfinit (1) state (1) model (1)
Person: Hao Zheng 0001
DBLP: 0001:Hao_Zheng
Contributed to:
2019Wrote 1 papers:
- CAV-2019-NeupaneMM00 #analysis #approximate #infinity #model checking #named #probability
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis (TN, CJM, CM, HZ0, ZZ0), pp. 540–549.