In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case
Presence of the red leg syndrome (RLS) was documented through bacterial and histological examinations in the endangered Kaiser’s mountain newt Neurergus kaiser