Precise parameter synthesis for stochastic biochemical systems
From MaRDI portal
Publication:2407983
DOI10.1007/s00236-016-0265-2zbMath1373.92038OpenAlexW1773627017MaRDI QIDQ2407983
Milan Češka, Frits Dannenberg, Marta Kwiatkowska, Nicola Paoletti, Luboš Brim
Publication date: 9 October 2017
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-016-0265-2
Biochemistry, molecular biology (92C40) Computational methods for problems pertaining to biology (92-08)
Related Items (11)
Lumpability for uncertain continuous-time Markov chains ⋮ Population design for synthetic gene circuits ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Precise parameter synthesis for stochastic biochemical systems ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates ⋮ Are Parametric Markov Chains Monotonic? ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Sequential Convex Programming for the Efficient Verification of Parametric MDPs ⋮ Counterexample-guided inductive synthesis for probabilistic systems ⋮ Finding provably optimal Markov chains ⋮ Inductive synthesis for probabilistic programs reaches new horizons
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Smoothed model checking for uncertain continuous-time Markov chains
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Numerical transient analysis of Markov models
- Introduction to calculus and analysis. Volume I.
- Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks
- Precise parameter synthesis for stochastic biochemical systems
- Model checking expected time and expected reward formulae with random time bounds
- Synthesis of biological models from mutation experiments
- Learning and Designing Stochastic Processes from Logical Constraints
- Stochastic Model Checking
- A General Framework for the Analysis of Sets of Constraints
- DNA Walker Circuits: Computational Potential, Design, and Verification
- Computing Cumulative Rewards Using Fast Adaptive Uniformization
- Controlling a Class of Nonlinear Systems on Rectangles
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Model-checking continuous-time Markov chains
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Precise parameter synthesis for stochastic biochemical systems
