Text this: Measuring and Synthesizing Systems in Probabilistic Environments.