Search

• < Previous
• 1
• Next >

---

Stochastic Parity Games on Lossy Channel Systems

Parosh Aziz Abdulla ; Lorenzo Clemente ; Richard Mayr ; Sven Sandberg.

We give an algorithm for solving stochastic parity games with almost-sure winning conditions on {\it lossy channel systems}, under the constraint that both players are restricted to finite-memory strategies. First, we describe a general framework, where we consider the class of 2 1/2-player games&nbsp;[&hellip;]

---

Model Checking Probabilistic Pushdown Automata

Javier Esparza ; Antonin Kucera ; Richard Mayr.

We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that both qualitative and quantitative model&nbsp;[&hellip;]

---