Utilizing Stochastic Model Checking to Analyze Genetic Circuits
Document Type
Poster
Journal/Book Title/Conference
IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)
Publisher
IEEE
Publication Date
6-14-2012
Abstract
When designing and analyzing genetic circuits, researchers are often interested in the probability of the system reaching a given state within a certain amount of time. Usually, this involves simulating the system to produce some time series data and anal
Recommended Citation
C. Madsen, C. Myers, N. Roehner, C. Winstead, Z. Zhang , “Utilizing Stochastic Model Checking to Analyze Genetic Circuits”, IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, May 2012. (Best student paper award)
COinS
