DOI,IST REx ID,Research Group,Title of publication
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games