On Checking Observability of Formal Languages in DES Control Problems.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Browse the full CoDIT paper archive.