Browsing by Subject "rachunek mi"

University of Warsaw Repository

pl | en
 
 

Browsing by Subject "rachunek mi"

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

Browse

My Account