STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks.
Meiyi MaJi GaoLu FengJohn A. StankovicPublished in: NeurIPS (2020)
Keyphrases
- temporal logic
- recurrent neural networks
- model checking
- modal logic
- neural network
- echo state networks
- feed forward
- recurrent networks
- reservoir computing
- satisfiability problem
- artificial neural networks
- belief revision
- concurrent systems
- verification method
- transition systems
- neural model
- regression model
- mazurkiewicz traces
- formal specification language
- model checker
- temporally extended goals
- cascade correlation
- expert systems
- dynamic constraints
- reactive systems