62 followers
Compositional Verification and Optimization of Interactive Markov Chains. (arXiv:1305.7332v1 [cs.LO]) http://t.co/lPGbTRIV2L
Compositional Verification and Optimization of Interactive Markov Chains. (arXiv:1305.7332v1 [cs.LO]) http://t.co/lPGbTRIV2L