TY  - RPRT
TI  - Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
AU  - Jan Bessai
AU  - Moritz Roidl
AU  - Anna Vasileva
PY  - 2019
DO  - 10.4204/eptcs.310.1
UR  - https://arxiv.org/abs/1912.10628
ID  - 1912.10628
ER  -