Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
Quantitative analysis of Markov models typically proceeds through numerical methods or simulation-based evaluation. Since the state space of the models can often be large, exact or approximate state aggregation methods (such as lumping or bisimulation reduction) have been proposed to improve the sca...
Asıl Yazarlar: | Abate, A, Brim, L, Ceska, M, Kwiatkowska, M |
---|---|
Materyal Türü: | Conference item |
Dil: | English |
Baskı/Yayın Bilgisi: |
2015
|
Benzer Materyaller
-
Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2016) -
Adaptive formal approximations of Markov chains
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021) -
Designing robust software systems through parametric markov chain synthesis
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017) -
Syntax-guided optimal synthesis for chemical reaction networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017) -
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
Yazar:: Brim, L, ve diğerleri
Baskı/Yayın Bilgisi: (2013)