Pages that link to "Item:Q533361"

The following pages link to Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361):

Displaying 2 items.

• Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
• Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)