Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Solving Partial-Information Stochastic Parity Games - MaRDI portal

Solving Partial-Information Stochastic Parity Games

From MaRDI portal

Publication:5271071

Jump to:navigation, search

DOI10.1109/LICS.2013.40zbMath1369.91016MaRDI QIDQ5271071

Moshe Y. Vardi, Sumit Nain

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

stochastic games alternating tree automata partial-observation games finite-memory strategy

Mathematics Subject Classification ID

2-person games (91A05) Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15)

Related Items (4)

Graph Games and Reactive Synthesis ⋮ Partial-Observation Stochastic Games ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Qualitative analysis of concurrent mean-payoff games

This page was built for publication: Solving Partial-Information Stochastic Parity Games

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5271071&oldid=19911317"