56 citations · 84 across the 30 of their papers we have counts for
1 paper · 1 filter
Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger +2
We present an algorithmic method for the quantitative, performance-aware synthesis of concurrent programs. The input consists of a nondeterministic partial program and of a paramet…