The Complexity of Synthesis from Probabilistic Components.

Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi

Browse the full ICALP paper archive.