Optimization-based synthesis of stochastic biocircuits with statistical specifications.

Optimization-based synthesis of stochastic biocircuits with statistical specifications.