Collaborated with:
Kesha Hietala Shaopeng Zhu M.Ying M.H.0001 X.Wu
Talks about:
quantum (1) quantit (1) program (1) analysi (1) robust (1)
Person: Shih-Han Hung
DBLP: Hung:Shih=Han
Contributed to:
Wrote 1 papers:
- POPL-2019-HungHZYHW #analysis #quantum #robust #source code
- Quantitative robustness analysis of quantum programs (SHH, KH, SZ, MY, MH0, XW), p. 29.