Stochastic Bisimulation for MDPs Using Reachability Analysis

Sorry, there's nothing here.

Cite this paper

@inproceedings{Santos2013StochasticBF, title={Stochastic Bisimulation for MDPs Using Reachability Analysis}, author={Felipe Martins dos Santos and Leliane Nunes de Barros and Mijail Gamarra Holguin}, booktitle={BRACIS}, year={2013} }