PHYSFRAME: a system to type check physical frames of reference for robotic systems
To move efficiently and safely within different environments, robotic systems typically monitor both their own movements and their surroundings as they try to navigate safely and avoid nearby obstacles. The measurements they ...