Rupak Majumdar et al.. “Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games⁎R. Majumdar and K. Mallik are funded through the DFG (Deutsche Forschungsgemeinschaft or German Science Foundation) project 389792660 TRR 248-CPEC, A.-K. Schmuck is funded through the DFG project SCHM 3541/1-1, and S. Soudjani is funded through the EPSRC-funded CodeCPS project (EP/V043676/1)..” IFAC-PapersOnLine, vol. 54, no. 5, 2021, pp. 127–132. http://access.bl.uk/ark:/81055/vdc_100140621997.0x00000d