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