A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems | IEEE Journals & Magazine | IEEE Xplore