Signal Temporal Logic Meets Reachability: Connections and Applications.

Mo Chen, Qizhan Tam, Scott C. Livingston, Marco Pavone

Browse the full WAFR paper archive.