Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks

DOI10.1007/978-3-319-21690-4_12zbMath1381.68140OpenAlexW2101645257MaRDI QIDQ1702921

Marta Kwiatkowska, Luboš Brim, Alessandro Abate, Milan Češka

Publication date: 1 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-21690-4_12

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Classical flows, reactions, etc. in chemistry (92E20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Proportional lumpability and proportional bisimilarity ⋮ Precise parameter synthesis for stochastic biochemical systems ⋮ Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

This page was built for publication: Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks