Permissive Supervisor Synthesis for Markov Decision Processes Through Learning | IEEE Journals & Magazine | IEEE Xplore