TY  - RPRT
TI  - PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
AU  - Sayali Kate
AU  - Michael Chinn
AU  - Hongjun Choi
AU  - Xiangyu Zhang
AU  - Sebastian Elbaum
PY  - 2021
DO  - 10.1145/3468264.3468608
UR  - https://arxiv.org/abs/2106.11266
ID  - 2106.11266
ER  -