@inproceedings{89533979a8e749fe86d6dfecc2918b41,

title = "Measure Properties of Game Tree Languages",

abstract = "We introduce a general method for proving measurability of topologically complex sets by establishing a correspondence between the notion of game tree languages from automata theory and the σ-algebra of R-sets, introduced by A. Kolmogorov as a foundation for measure theory. We apply the method to answer positively to an open problem regarding the game interpretation of the probabilistic μ-calculus.",

author = "Tomasz Gogacz and Henryk Michalewski and Matteo Mio and Michal Skrzypczak",

year = "2014",

doi = "10.1007/978-3-662-44522-8_26",

language = "English",

isbn = "978-3-662-44521-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "303--314",

booktitle = "Mathematical Foundations of Computer Science 2014",

}