Language model approach to nonblocking supervisor synthesis for nondeterministic discrete event systems | IEEE Conference Publication | IEEE Xplore