Ernst-Erich Doberkat. Towards a Probabilistic Interpretation of Game Logic. In Wolfram Kahl, Michael Winter, José N. Oliveira, editors, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Volume 9348 of Lecture Notes in Computer Science, pages 43-47, Springer, 2015. [doi]
Abstract is missing.