ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks

DOI10.1007/978-3-030-60327-4_14zbMath1506.92035OpenAlexW3091332717MaRDI QIDQ2110675

Alessandro Abate, Gareth W. Molyneux

Publication date: 22 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-60327-4_14

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)

Related Items (2)

A formal approach for tuning stochastic oscillators ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks