Stochastic best-effort strategies for Borel goals (2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023)

(untitled) - Aminof, B; De Giacomo, G; Rubin, S; Zuleger, F