Temporal logic control in dynamic environments with probabilistic satisfaction guarantees
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees