𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A survey of partial-observation stochastic parity games

✍ Scribed by Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.

Book ID
121625726
Publisher
Springer
Year
2012
Tongue
English
Weight
609 KB
Volume
43
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Parity and ruin in a stochastic game
Parity and ruin in a stochastic game
✍ E. Ben-Naim; P.L. Krapivsky πŸ“‚ Article πŸ“… 2002 πŸ› Springer 🌐 English βš– 124 KB
A survey of stochastic Ο‰-regular games
A survey of stochastic Ο‰-regular games
✍ Krishnendu Chatterjee; Thomas A. Henzinger πŸ“‚ Article πŸ“… 2012 πŸ› Elsevier Science 🌐 English βš– 335 KB
Games for synthesis of controllers with
Games for synthesis of controllers with partial observation
✍ A. Arnold; A. Vincent; I. Walukiewicz πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 353 KB

The synthesis of controllers for discrete event systems, as introduced by Ramadge and Wonham, amounts to computing winning strategies in parity games. We show that in this framework it is possible to extend the speciΓΏcations of the supervised systems as well as the constraints on the controllers by