Supervisory control of nondeterministic systems under partial observation | IEEE Conference Publication | IEEE Xplore