chen-2022-synchronous:
  type: article
  title: 'Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation'
  author:
  - Chen, Jiawei
  - name: Mendonça
    given-name: José Luiz
    prefix: Vargas de
  - Jalili, Shayan
  - Ayele, Bereket
  - Bekele, Bereket Ngussie
  - Qu, Zhemin
  - Sharma, Pranjal
  - Shiferaw, Tigist
  - Zhang, Yicheng
  - Jeannin, Jean-Baptiste
  date: 2022-11
  page-range: 68-79
  url: http://dx.doi.org/10.1145/3563822.3568015
  serial-number:
    doi: 10.1145/3563822.3568015
  parent:
    type: proceedings
    title: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
    publisher: ACM
    parent:
      type: proceedings
      title: FTSCS ’22