A symbolic approach to the state graph based analysis of high-level Markov reward models.

Kai Lampka A symbolic approach to the state graph based analysis of high-level Markov reward models. 2007 University of Erlangen-Nuremberg, Germany 1-173 http://www.opus.ub.uni-erlangen.de/opus/volltexte/2007/675/index.html https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-6753 https://d-nb.info/985513926 https://d-nb.info/985577002