Precise parameter synthesis for stochastic biochemical systems
From MaRDI portal
Publication:2407983
Recommendations
- Stochastic analysis of biochemical systems
- Parameter estimation for stochastic models of biochemical reactions.
- Stochastic hybrid systems for studying biochemical processes
- Parameter estimation for stochastic hybrid models of biochemical reaction networks
- Stochastic methods for parameter estimation and design of experiments in systems biology
- Stochastic chemical reaction systems in biology
- Stochastic modelling for systems biology
- Stochastic dynamics for systems biology
Cites work
- A General Framework for the Analysis of Sets of Constraints
- Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks
- Computing cumulative rewards using fast adaptive uniformization
- Controlling a Class of Nonlinear Systems on Rectangles
- DNA Walker Circuits: Computational Potential, Design, and Verification
- scientific article; zbMATH DE number 1670788 (Why is no real title available?)
- scientific article; zbMATH DE number 3638844 (Why is no real title available?)
- scientific article; zbMATH DE number 3082073 (Why is no real title available?)
- Introduction to calculus and analysis. Volume I.
- Learning and designing stochastic processes from logical constraints
- Model checking expected time and expected reward formulae with random time bounds
- Model-checking continuous-time Markov chains
- Numerical transient analysis of Markov models
- Precise parameter synthesis for stochastic biochemical systems
- Smoothed model checking for uncertain continuous-time Markov chains
- Stochastic model checking
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Synthesis of biological models from mutation experiments
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(26)- Stability analysis of a stochastic model for biomolecular selection
- Counterexample-guided inductive synthesis for probabilistic systems
- Finding provably optimal Markov chains
- Inductive synthesis for probabilistic programs reaches new horizons
- Parameter synthesis of polynomial dynamical systems
- Population design for synthetic gene circuits
- Syntax-guided optimal synthesis for chemical reaction networks
- Precise parameter synthesis for stochastic biochemical systems
- The sorting direct method for stochastic simulation of biochemical systems with varying reaction execution behavior
- The complexity of reachability in parametric Markov decision processes
- Parameter synthesis for polynomial biological models
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- NEW METHOD TO ESTIMATE PARAMETERS IN A NONLINEAR SYSTEM OF PURINE NUCLEOTIDE METABOLISM
- Logic-based multi-objective design of chemical reaction networks
- Parameter synthesis through temporal logic specifications
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Counterexample-driven synthesis for probabilistic program sketches
- An MM algorithm to estimate parameters in continuous-time Markov chains
- An oracle-guided approach to constrained policy synthesis under uncertainty
- Parameter synthesis for probabilistic hyperproperties
- Using statistical methods to model the fine-tuning of molecular machines and systems
- Lumpability for uncertain continuous-time Markov chains
This page was built for publication: Precise parameter synthesis for stochastic biochemical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407983)
