Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
design space exploration
Stochastic Model Checking of Genetic Circuits
Synthetic genetic circuits have a number of exciting potential applications such as cleaning up toxic waste, hunting and killing tumor cells, and producing drugs and bio-fuels more efficiently. When designing and analyzing genetic circuits, …
Cite
×