Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning | IEEE Conference Publication | IEEE Xplore