Model checking games for the quantitative \(\mu \)-calculus

From MaRDI portal
Publication:1959394