STL: Surprisingly Tricky Logic (for System Validation).

Ho Chit Siu, Kevin Leahy, Makai Mann

Browse the full IROS paper archive.