TY - RPRT TI - Control Design for Markov Chains under Safety Constraints: A Convex Approach AU - Eduardo Arvelo AU - Nuno C. Martins PY - 2012 UR - https://arxiv.org/abs/1209.2883 ID - 1209.2883 ER -