RT DW A1 Liu, Zexiang. T1 Exploiting Structure in Safety Control