Pavithra Prabhakar, Ratan Lal, James Kapinski. Automatic Trace Generation for Signal Temporal Logic. In 2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018. pages 208-217, IEEE Computer Society, 2018. [doi]
Abstract is missing.