_id,doi,title
1856,10.1145/2699430,Measuring and synthesizing systems in probabilistic environments