Resilient, Provably-Correct, and High-Level Robot Behaviors | IEEE Journals & Magazine | IEEE Xplore