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…