The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Supervisory control and reactive synthesis: a comparative introduction

The work

AuthorsRüdiger Ehlers; Stéphane Lafortune; Stavros Tripakis; Moshe Y. Vardi
Editors
Typearticle
Year2017
Also known asehlers2016supervisory
Citekeyehlers2017supervisory

Where it appeared

Published inDiscrete Event Dynamic Systems
PublisherSpringer Science+Business Media
Volume27
Issue2
Pages209--260

How it got here

How it got hereagent via openalex
Added2026-10-27 03:14 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

vardi

Cite it as

@article{ehlers2017supervisory,
  title        = {Supervisory control and reactive synthesis: a comparative introduction},
  author       = {Rüdiger Ehlers and Stéphane Lafortune and Stavros Tripakis and Moshe Y. Vardi},
  year         = {2017},
  journal      = {Discrete Event Dynamic Systems},
  publisher    = {Springer Science+Business Media},
  volume       = {27},
  number       = {2},
  pages        = {209--260},
  doi          = {10.1007/s10626-015-0223-0},
}

This record lives at https://refs.drheap.org/ehlers2017supervisory/ and will keep doing so. It used to be called ehlers2016supervisory, and those addresses still resolve to this one.