Quantitative Synthesis for Concurrent Programs.

Pavol Cern, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh

Browse the full CAV paper archive.