RT DF A1 Leung, Karen Yan Ming. T1 On Using Formal Methods for Safe and Robust Robot Autonomy