Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin. Distributed Synthesis of State-Dependent Switching Control. In Kim Guldstrand Larsen, Igor Potapov, Jirí Srba, editors, Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Volume 9899 of Lecture Notes in Computer Science, pages 119-133, Springer, 2016. [doi]
Abstract is missing.