Pages that link to "Item:Q2407983"
From MaRDI portal
The following pages link to Precise parameter synthesis for stochastic biochemical systems (Q2407983):
Displaying 20 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Using statistical methods to model the fine-tuning of molecular machines and systems (Q827877) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Stability analysis of a stochastic model for biomolecular selection (Q1060993) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- Finding provably optimal Markov chains (Q2044197) (← links)
- Inductive synthesis for probabilistic programs reaches new horizons (Q2044199) (← links)
- Population design for synthetic gene circuits (Q2142116) (← links)
- Syntax-guided optimal synthesis for chemical reaction networks (Q2164238) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- The sorting direct method for stochastic simulation of biochemical systems with varying reaction execution behavior (Q2490517) (← links)
- The complexity of reachability in parametric Markov decision processes (Q2662678) (← links)
- Are Parametric Markov Chains Monotonic? (Q3297607) (← links)
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926) (← links)
- NEW METHOD TO ESTIMATE PARAMETERS IN A NONLINEAR SYSTEM OF PURINE NUCLEOTIDE METABOLISM (Q4848804) (← links)
- Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems (Q5695334) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
- Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)
- Counterexample-driven synthesis for probabilistic program sketches (Q6535945) (← links)
- An MM algorithm to estimate parameters in continuous-time Markov chains (Q6546449) (← links)
