You can always compute maximally permissive controllers under partial observation when they exist | IEEE Conference Publication | IEEE Xplore