Krishnendu Chatterjee, Laurent Doyen 0001, Moshe Y. Vardi. The Complexity of Synthesis from Probabilistic Components. In Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi 0001, Bettina Speckmann, editors, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Volume 9135 of Lecture Notes in Computer Science, pages 108-120, Springer, 2015. [doi]
Abstract is missing.