Random Fruits on the Zielonka Tree
From MaRDI portal
Publication:5390006
DOI10.4230/LIPIcs.STACS.2009.1848zbMath1236.91025OpenAlexW2963318305MaRDI QIDQ5390006
Publication date: 24 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_d273.html
Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
This page was built for publication: Random Fruits on the Zielonka Tree