Stochastic Parity Games on Lossy Channel Systems

DOI10.2168/LMCS-10(4:21)2014zbMath1448.68282OpenAlexW3099302600MaRDI QIDQ2938773

Sven Sandberg, Lorenzo Clemente, Richard Mayr, Parosh Aziz Abdulla

Publication date: 15 January 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-10(4:21)2014

zbMATH Keywords

parity gamesstochastic gamesmemoryless determinacylossy channel systemsfinite attractor

Mathematics Subject Classification ID

Games involving graphs (91A43) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Stochastic Parity Games on Lossy Channel Systems