Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems | IEEE Conference Publication | IEEE Xplore