Person. Bereket Ayele ORCID · 0000-0002-0095-2146 Papers Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation chen-2022-synchronousFTSCS · 2022 DOI