RoboPrec: Enabling Reliable Embedded Computing for Robotics by Providing Accuracy Guarantees Across Mixed-Precision Datatypes. - Alp Eren Yilmaz; Thomas Bourgeat; Lillian Pentecost; Brian Plancher; Sabrina M. Neuman (IEEE Robotics Autom. Lett., 2026)