@misc{indiciae9c0ac0502a66,
  title = {Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis},
  author = {Jan Bessai and Moritz Roidl and Anna Vasileva},
  year = {2019},
  doi = {10.4204/eptcs.310.1},
  url = {https://arxiv.org/abs/1912.10628},
  note = {Source identifier: 1912.10628}
}