Browsing by Subject "mu calculus"

University of Warsaw Repository

pl | en

Browsing by Subject "mu calculus"

Sort by: Order: Results:

  • Przybyłko, Marcin (2019-03-25)
    We study a class of games introduced by Mio to capture the probabilistic μ-calculi called branching games. They are a subclass of stochastic two-player zero-sum turn-based infinite-time games of imperfect information. ...

Search Repository


My Account