Supervisory control and reactive synthesis: a comparative introduction
| Title | Supervisory control and reactive synthesis: a comparative introduction |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi |
| Journal | Discrete Event Dynamic Systems |
| Volume | 27 |
| Pagination | 209–260 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/s10626-015-0223-0 |
| DOI | 10.1007/s10626-015-0223-0 |
| Citation Key | DBLP:journals/deds/EhlersLTV17 |