karenl7 / stlhj Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stanfordasl/stlhj
Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Livingston, and Marco Pavone.
License: MIT License