أرسل هذا في رسالة قصيرة: Regularity of the state constrained minimal time function