B. Aminof, M. Kwiatkowska, B. Maubert, A. Murano, S. Rubin:
"Probabilistic Strategy Logic";
in: "28th International Joint Conference on Artificial Intelligence", International Joint Conferences on Artificial Intelligence, 2019, 32 - 38.
https://publik.tuwien.ac.at/files/publik_287094.pdf