Pages that link to "Item:Q533361"
From MaRDI portal
The following pages link to Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361):
Displaying 5 items.
- ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks (Q2110675) (← links)
- Syntax-guided optimal synthesis for chemical reaction networks (Q2164238) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)