Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.

Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska

Browse the full CAV paper archive.