TY - RPRT TI - Permissive Supervisor Synthesis for Markov Decision Processes through Learning AU - Bo Wu AU - Xiaobin Zhang AU - Hai Lin PY - 2017 UR - https://arxiv.org/abs/1703.07351 ID - 1703.07351 ER -