Efficient trace generation for rare-event analysis in chemical reaction networks

DOI10.1007/978-3-031-32157-3_5OpenAlexW4367665091MaRDI QIDQ6049046

Bryant Israelsen, Landon Taylor, Zhen Zhang

Publication date: 16 October 2023

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-32157-3_5

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Cites Work

• Unnamed Item
• Unnamed Item
• Some inequalities relating to the partial sum of binomial probabilities
• Statistical model checking
• Stochastic Model Checking
• Modeling and analysis of mass-action kinetics
• Methods of Reducing Sample Size in Monte Carlo Computations
• Model-checking continuous-time Markov chains
• Sequential Tests of Statistical Hypotheses

This page was built for publication: Efficient trace generation for rare-event analysis in chemical reaction networks