この資料をSMS送信: Control design for markov chains under safety constraints , a convex approach