Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen

, José Luiz Vargas de Mendonça

, Shayan Jalili

, Bereket Ayele

, Bereket Ngussie Bekele

, Zhemin Qu

, Pranjal Sharma

, Tigist Shiferaw

, Yicheng Zhang

, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
Publisher's Version