Venue. FTSCS Workshop on Formal Techniques for Safety-Critical Systems · Workshop · ACM 2022 Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation chen-2022-synchronousFTSCS · 2022 DOI