أرسل هذا في رسالة قصيرة: Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees