STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. - Thakur Neupane; Chris J. Myers; Curtis Madsen; Hao Zheng 001; Zhen Zhang 006 (CAV (1), 2019)

Approximation Techniques for Stochastic Analysis of Biological Systems. - Thakur Neupane; Zhen Zhang 006; Curtis Madsen; Hao Zheng 001; Chris J. Myers (CoRR, 2019)

Approximation Techniques for Stochastic Analysis of Biological Systems. - Thakur Neupane; Zhen Zhang 006; Curtis Madsen; Hao Zheng 001; Chris J. Myers (Automated Reasoning for Systems Biology and Medicine, 2019)

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. - Riley Roberts; Thakur Neupane; Lukas Buecherl; Chris J. Myers; Zhen Zhang 006 (VMCAI, 2022)