Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications | IEEE Conference Publication | IEEE Xplore