Signal Temporal Logic Meets Reachability: Connections and Applications. - Mo Chen 001; Qizhan Tam; Scott C. Livingston; Marco Pavone 001 (WAFR, 2018)