Precise Parameter Synthesis for Stochastic Biochemical Systems

Precise Parameter Synthesis for Stochastic Biochemical Systems

Show other versions (3)

We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised/minimised. We develop algorithms based on t...

Full description

Bibliographic Details
Main Authors:	Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N
Format:	Report
Published:	DCS 2014

Similar Items

Precise Parameter Synthesis for Stochastic Biochemical Systems
by: Češka, M, et al.
Published: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
by: Ceska, M, et al.
Published: (2015)

Precise parameter synthesis for stochastic biochemical systems
by: Kwiatkowska, M, et al.
Published: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
by: Češka, M, et al.
Published: (2016)

Efficient synthesis of robust models for stochastic systems
by: Calinescu, R, et al.
Published: (2018)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
by: Brim, L, et al.
Published: (2013)

Robustness analysis of stochastic biochemical systems
by: Česka, M, et al.
Published: (2014)

Robustness analysis of stochastic biochemical systems.
by: Milan Ceska, et al.
Published: (2014-01-01)

RODES: A robust-design synthesis tool for probabilistic systems
by: Calinescu, R, et al.
Published: (2017)

Designing robust software systems through parametric markov chain synthesis
by: Kwiatkowska, M, et al.
Published: (2017)

Playing Stochastic Games Precisely
by: Chen, T, et al.
Published: (2012)

PLAYING STOCHASTIC GAMES PRECISELY
by: Chen, T, et al.
Published: (2012)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
by: Jovanović, A, et al.
Published: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
by: Jovanovic, A, et al.
Published: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
by: Jovanović, A, et al.
Published: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
by: Cardelli, L, et al.
Published: (2017)

Global parameter estimation methods for stochastic biochemical systems
by: Poovathingal Suresh, et al.
Published: (2010-08-01)

Compositional Controller Synthesis for Stochastic Games
by: Basset, N, et al.
Published: (2014)

Quantitative verification and strategy synthesis of stochastic games
by: Svorenova, M, et al.
Published: (2016)

Quantifying Parameter Interdependence in Stochastic Discrete Models of Biochemical Systems
by: Samaneh Gholami, et al.
Published: (2023-08-01)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
by: Laurenti, L, et al.
Published: (2017)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
by: Laurenti, L, et al.
Published: (2017)

Compositional strategy synthesis for stochastic games with multiple objectives
by: Basset, N, et al.
Published: (2017)

Model checking and strategy synthesis for stochastic games: from theory to practice
by: Kwiatkowska, M
Published: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
by: Kwiatkowska, M
Published: (2024)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
by: Cauchi, N, et al.
Published: (2019)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
by: Basset, N, et al.
Published: (2014)

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
by: Chen, T, et al.
Published: (2013)

Shaping and Dilating the Fitness Landscape for Parameter Estimation in Stochastic Biochemical Models
by: Marco S. Nobile, et al.
Published: (2022-07-01)

Symbolic verification and strategy synthesis for turn-based stochastic games
by: Kwiatkowska, M, et al.
Published: (2022)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
by: Yan, R, et al.
Published: (2024)

Reasoning about cognitive trust in stochastic multiagent systems
by: Kwiatkowska, M, et al.
Published: (2017)

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
by: Abate, A, et al.
Published: (2016)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
by: Kwiatkowska, M, et al.
Published: (2017)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
by: Laurenti, L, et al.
Published: (2020)

Automatic verification of concurrent stochastic systems
by: Kwiatkowska, M, et al.
Published: (2021)

Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks
by: Elston Timothy C, et al.
Published: (2004-03-01)

Reasoning about cognitive trust in stochastic multiagent systems
by: Huang, X, et al.
Published: (2019)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
by: Kwiatkowska, M, et al.
Published: (2016)

Computing Cumulative Rewards using Fast Adaptive Uniformisation
by: Dannenberg, F, et al.
Published: (2013)