TY  - RPRT
TI  - STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis
AU  - Thakur Neupane
AU  - Chris J. Myers
AU  - Curtis Madsen
AU  - Hao Zheng
AU  - Zhen Zhang
PY  - 2019
UR  - https://arxiv.org/abs/1906.03978
ID  - 1906.03978
ER  -