Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2021)

Keyphrases