On synthesizing tolerable and permissive controllers for labeled transition systems
Autor: | Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | IFAC-PapersOnLine. 55:158-164 |
ISSN: | 2405-8963 |
Databáze: | OpenAIRE |
Externí odkaz: |