RT DW A1 Wei, Tianhao. T1 Safeguarding and Empowering General Purpose Robots Through Abstraction and Constraint Certification