Partially observable stochastic games with neural perception mechanisms (Formal Methods. FM 2024, 2024)

(untitled) - Yan, R; Santos, G; Norman, G; Parker, D; Kwiatkowska, M