TY  - RPRT
TI  - The Complexity of Synthesis from Probabilistic Components
AU  - Krishnendu Chatterjee
AU  - Laurent Doyen
AU  - Moshe Y. Vardi
PY  - 2015
UR  - https://arxiv.org/abs/1502.04844
ID  - 1502.04844
ER  -