STL: Surprisingly Tricky Logic (for System Validation)

Ho Chit Siu, Kevin Leahy, Makai Mann

Much of the recent work developing formal methods techniques to specify or learn the behavior of autonomous systems is predicated on a belief that formal specifications are interpr…