Borel determinacy of concurrent games
Just as traditional games can be represented by trees, so concurrent games can be represented by event structures. We show the determinacy of such concurrent games with Borel sets of configurations as winning conditions, provided they are race-free and bounded-concurrent. Both properties are shown n...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer, Berlin, Heidelberg
2013
|