Quantitative synthesis for concurrent programs (2011)

by P Cerný, K Chatterjee, T A Henzinger, A Radhakrishna, R Singh
Venue:In Proc. of CAV, LNCS 6806