@Inproceedings{EPTCS310.1, author = {Bessai, Jan and Roidl, Moritz and Vasileva, Anna }, year = {2019}, title = {Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis}, editor = {Monahan, Rosemary and Prevosto, Virgile and Proen\c{c}a, Jose}, booktitle = {{\rm Proceedings Fifth Workshop on} Formal Integrated Development Environment, {\rm Porto, Portugal, 7th October 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {310}, publisher = {Open Publishing Association}, pages = {1-6}, doi = {10.4204/EPTCS.310.1}, }