Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications. - Kohei Shimatani; Shigemasa Takai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)