STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks

Open in new window