Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen
![ORCID logo](images/orcid.svg)
, José Luiz Vargas de Mendonça
![ORCID logo](images/orcid.svg)
, Shayan Jalili
![ORCID logo](images/orcid.svg)
, Bereket Ayele
![ORCID logo](images/orcid.svg)
, Bereket Ngussie Bekele
![ORCID logo](images/orcid.svg)
, Zhemin Qu
![ORCID logo](images/orcid.svg)
, Pranjal Sharma
![ORCID logo](images/orcid.svg)
, Tigist Shiferaw
![ORCID logo](images/orcid.svg)
, Yicheng Zhang
![ORCID logo](images/orcid.svg)
, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
Publisher's Version