1 citations · 1 across the 1 of their papers we have counts for
3 papers
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis
Thakur Neupane, Chris J. Myers, Curtis Madsen +2
Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real-world…
Approximation Techniques for Stochastic Analysis of Biological Systems
Thakur Neupane, Zhen Zhang, Curtis Madsen +2
There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrate…
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research…