Improved Reachability Analysis in DTMC via Divide and Conquer.

Songzheng Song Lin Gui Jun Sun Yang Liu Jin Song Dong

Published in: IFM (2013)

Keyphrases

reachability analysis
markov chain
markov decision processes
state space
model checking
transition probabilities
timed automata
neural network
random walk
database design