@inproceedings{chen-2022-synchronous, series={FTSCS ’22}, title={Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation}, url={http://dx.doi.org/10.1145/3563822.3568015}, DOI={10.1145/3563822.3568015}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems}, publisher={ACM}, author={Chen, Jiawei and Vargas de Mendonça, José Luiz and Jalili, Shayan and Ayele, Bereket and Bekele, Bereket Ngussie and Qu, Zhemin and Sharma, Pranjal and Shiferaw, Tigist and Zhang, Yicheng and Jeannin, Jean-Baptiste}, year={2022}, month=Nov, pages={68–79}, collection={FTSCS ’22} }