papers
Publications (3)
cs.LO2019
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis
Thakur Neupane, Chris J. Myers, Curtis Madsen +2
cs.LO2018
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
cs.ET2019
Approximation Techniques for Stochastic Analysis of Biological Systems
Thakur Neupane, Zhen Zhang, Curtis Madsen +2