Strategy improvement for concurrent reachability and turn-based stochastic safety games

► Simple proof of optimality of memoryless strategies in concurrent reachability game. ► A strategy-improvement algorithm for concurrent reachability game. ► A strategy-improvement algorithm for turn-based stochastic safety game.