أرسل هذا في رسالة قصيرة: Control design for markov chains under safety constraints , a convex approach