Pages that link to "Item:Q2110675"

The following pages link to ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks (Q2110675):

Displaying 4 items.

• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
• The metabolic network of \textit{Clostridium acetobutylicum}: comparison of the approximate Bayesian computation via sequential Monte Carlo (ABC-SMC) and profile likelihood estimation (PLE) methods for determinability analysis (Q899594) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• End-to-end statistical model checking for parametric ODE models (Q6160770) (← links)