On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis | IEEE Conference Publication | IEEE Xplore