Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi. Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. In Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, editors, 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. pages 222-227, International Federation of Automatic Control, 2014. [doi]
Abstract is missing.