Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
Abstract elided by the publisher.
Related papers
- Parameter Identification for Markov Models of Biochemical Reactions CAV 2011
- Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks CAV 2019
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks CAV 2020
- Quantitative Supermartingale Certificates CAV 2025
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes TACAS 2022