A Novel Stochastic Game Via the Quantitative ::::mu::::-calculus

Annabelle McIver, Carroll Morgan. A Novel Stochastic Game Via the Quantitative ::::mu::::-calculus. Electronic Notes in Theoretical Computer Science, 153(2):195-212, 2006. [doi]

Abstract

Abstract is missing.