About this document
Quantitative Analysis of Omega-Regular Games by gaudeamus13 is a document available to read on EtoBox.
This document summarizes a research paper that introduces quantitative game μ-calculus, a framework for solving two-player infinite games with ω-regular winning conditions. The paper shows that quantitative game μ-calculus can be used to compute the maximal probability of winning such games by replacing the controllable predecessor operator with a quantitative version. This allows determining the values of concurrent games, including probabilistic turn-based games, in a uniform way. The paper also character
- Author
- gaudeamus13
- Language
- EN