Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations.