Limited lookahead supervisory control of probabilistic discrete-event systems | IEEE Conference Publication | IEEE Xplore