A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The quantitative μ-calculus qMμ extends the applicability of Kozen's standard μ-calculus  to probabilistic systems. Subsequent to its introduction [9,4] it has been developed by us [6, 7, 8 ] and by others  . Beyond its natural application to define probabilistic temporal logic , there are a number of other areas that benefit from its use. One application is stochastic two-player games, and the contribution of this paper is to depart from the usual notion of "absolute winningdoi:10.1016/j.entcs.2005.10.039 fatcat:mab7nnzibnbdpdjlka5fua7epi