A generic framework to coarse-grain stochastic reaction networks by abstract interpretation

DOI10.1007/978-3-031-24950-1_11OpenAlexW4311625853MaRDI QIDQ6174400

Jerome Feret, Albin Salazar

Publication date: 17 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-24950-1_11

zbMATH Keywords

abstract interpretationcoarse-grainingstochastic reaction networkslogical modeling

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Cites Work

• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Boolean networks: beyond generalized asynchronicity
• Model Revision from Temporal Logic Properties in Computational Systems Biology
• Verification, Model Checking, and Abstract Interpretation