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