Person. Pranjal Sharma ORCID · 0000-0002-8217-173X Papers Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation chen-2022-synchronousFTSCS · 2022 DOI