Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation chen-2022-synchronousFTSCS · 2022