Sign in

Supervisory control and reactive synthesis: a comparative introduction.

Rüdiger EhlersStéphane LafortuneStavros TripakisMoshe Y. Vardi
Published in: Discret. Event Dyn. Syst. (2017)
Keyphrases