Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
Alessandro AbateLubos BrimMilan CeskaMarta Z. KwiatkowskaPublished in: CAV (1) (2015)
Keyphrases
- quantitative analysis
- markov chain
- chemical reaction
- steady state
- qualitative analysis
- finite state
- transition probabilities
- markov processes
- markov process
- random walk
- qualitative evaluation
- state space
- markov model
- stochastic process
- stationary distribution
- monte carlo
- qualitative and quantitative analysis
- monte carlo method
- monte carlo simulation
- probabilistic automata
- assemble to order systems
- transition matrix
- confidence intervals
- complex networks
- network structure
- ground truth
- social networks