A Novel Stochastic Game Via the Quantitative μ-calculus

Article OPEN
McIver, Annabelle; Morgan, Carroll;
(2006)
Share - Bookmark