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; Jean-Baptiste Jeannin (FTSCS, 2022)