@Article{vEJPV16, author={C. von Essen and B. Jobstmann and D. Parker and R. Varshneya}, title={Synthesizing Efficient Systems in Probabilistic Environments}, journal={Acta Informatica}, year={2016}, volume={53}, number={4}, pages={425–457}, publisher={Springer}, month={}, note={}, key={} }