PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems.

Sayali Kate Michael Chinn Hongjun Choi Xiangyu Zhang Sebastian G. Elbaum

Published in: CoRR (2021)

Keyphrases

robotic systems
type checking
mobile robot
vision system
data types
query processor
object manipulation
object model
moving objects
abstract data types
relational calculus
data streams
imitation learning