@article{10.1145/3428300,
author = {Ghosh, Ritwika and Hsieh, Chiao and Misailovic, Sasa and Mitra, Sayan},
title = {Koord: a language for programming and verifying distributed robotics application},
year = {2020},
issue_date = {November 2020},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {4},
number = {OOPSLA},
url = {https://doi.org/10.1145/3428300},
doi = {10.1145/3428300},
journal = {Proc. ACM Program. Lang.},
month = nov,
articleno = {232},
numpages = {30},
keywords = {Programming Language for Robotics, Distributed Robotics}
}