Fixed point iteration using stochastic reward nets | IEEE Conference Publication | IEEE Xplore