Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. On Checking Observability of Formal Languages in DES Control Problems. In 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022. pages 1567-1572, IEEE, 2022. [doi]
Abstract is missing.