STLnet: SignalTemporalLogicEnforced MultivariateRecurrentNeuralNetworks

Open in new window