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