FLUENT Verification Project
FLUENT Verification Project
People
Events
Publications
Contact
Light
Dark
Automatic
rare events
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks
Rare events are known to potentially cause pathological behavior in biochemical reaction systems. It is important to understand the …
Landon Taylor
,
Bryant Israelsen
,
Zhen Zhang
Cite
Code
Importance Sampling Techniques for the Analysis of Genetic Circuits
Genetic circuits have been identified as a promising technology that could revolutionize several areas, including biofuels, …
Payton J. Thomas
Cite
Code
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
Rare events are known to potentially cause pathological behavior in biochemical reaction systems. It is important to understand the …
Bryant Israelsen
,
Landon Taylor
,
Zhen Zhang
Cite
Code
DOI
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
Rare events are of particular interest in synthetic biology because rare biochemical events may be catastrophic to a biological system …
Mohammad Ahmadi
,
Payton J. Thomas
,
Lukas Buecherl
,
Chris Winstead
,
Chris J. Myers
,
Hao Zheng
,
Equal contribution
Cite
Code
DOI
Cite
×