Goto

Collaborating Authors

 Asia










STLnet: SignalTemporalLogicEnforced MultivariateRecurrentNeuralNetworks

Neural Information Processing Systems

In practice, the target sequence often follows certain model properties or patterns (e.g., reasonable ranges, consecutive changes, resource constraint, temporal correlations between multiple variables, existence, unusual cases, etc.). However,RNNs cannot guarantee their learned distributions satisfy these properties.