Sven Schewe: Synthesis for Probabilistic Environments. ATVA 2006: 245-259