@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} }

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