| Title | Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi |
| Conference Name | 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. |
| Keywords | 1329759 |
| URL | https://doi.org/10.3182/20140514-3-FR-4046.00018 |
| DOI | 10.3182/20140514-3-FR-4046.00018 |
| Citation Key | DBLP:conf/wodes/EhlersLTV14 |
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control