Login / Signup
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