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. Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022. pages 68-79, ACM, 2022. [doi]
Abstract is missing.