Probabilistic strategy logic (Artificial Intelligence, 2019)

(untitled) - Aminof, B; Kwiatkowska, M; Maubert, B; Murano, A; Rubin, S