Synthesizing efficient systems in probabilistic environments. - Christian von Essen; Barbara Jobstmann; David Parker 001; Rahul Varshneya (Acta Informatica, 2016)