Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. Logic inference based construction of a supervisor for a discrete event system. In Igor Bychkov, Andrei Tchernykh, Alexander G. Feoktistov, editors, Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2020, Irkutsk, Russia, July 6-7, 2020. Volume 2638 of CEUR Workshop Proceedings, pages 53-67, CEUR-WS.org, 2020. [doi]
Abstract is missing.