Signal Temporal Logic

Soham is working on this, not Spatial Temporal Reasoning. Apparently, it’s cool but not 100% interesting.

There is this set of slides:

• https://people.eecs.berkeley.edu/~sseshia/fmee/lectures/EECS294-98_Spring2014_STL_Lecture.pdf

There is also the course that covers that