Synthesis from Probabilistic Components.

Yoad Lustig, Sumit Nain, Moshe Y. Vardi

Browse the full CSL paper archive.