Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error