Temporal logic control in dynamic environments with probabilistic satisfaction guarantees.

Ana I. Medina Ayala, Sean B. Andersson, Calin Belta

Browse the full IROS paper archive.