Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.

Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit

Browse the full ICRA paper archive.