发送短信: Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees