Stochastic Games with Lossy Channels

We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLCS). We study games with B

• Type: Conference
• Year: 2008
• Where: FOSSACS
• Authors: Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
• Keywords: FOSSACS 2008, Lossy Channel Systems, Probabilistic Lossy Channel, Software Engineering, Turn-based Stochastic Games