Strategy synthesis for partially observable stochastic games with neural perception mechanisms - Kwiatkowska, M (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024)