Continuous Probability Distributions in Concurrent Games

Resource type
Authors/contributors
Title
Continuous Probability Distributions in Concurrent Games
Abstract
We present a model of concurrent games in which strategies are probabilistic and support both discrete and continuous distributions. This is a generalisation of the probabilistic concurrent strategies of Winskel, based on event structures. We first introduce measurable event structures, discrete fibrations of event structures in which each fibre is turned into a measurable space. We then construct a bicategory of measurable games and measurable strategies based on measurable event structures, and add probability to measurable strategies using standard techniques of measure theory. We illustrate the model by giving semantics to an affine, higher-order, probabilistic language with a type of real numbers and continuous distributions.
Publication
Electronic Notes in Theoretical Computer Science
Volume
341
Pages
321-344
Date
December 1, 2018
Series
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)
Journal Abbr
Electronic Notes in Theoretical Computer Science
Language
en
DOI
10/ggdmwv
ISSN
1571-0661
Accessed
2019-11-28T15:35:23Z
Library Catalog
ScienceDirect
Extra
ZSCC: 0000002
Citation
Paquet, H., & Winskel, G. (2018). Continuous Probability Distributions in Concurrent Games. Electronic Notes in Theoretical Computer Science, 341, 321–344. https://doi.org/10/ggdmwv
Processing time: 0.02 seconds

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references