Ma, et al.. Stlnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks. 2020.