STL: Surprisingly Tricky Logic (for System Validation)
Ho Chit Siu,Kevin Leahy,Makai Mann,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 interpretable and useful for humans when checking systems. Though frequently asserted, this assumption is rarely tested. We performed a human experiment $(\mathbf{N}=62)$ with a mix of people who were and were not familiar with...
