Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints.
Wenliang LiuNoushin MehdipourCalin BeltaPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- temporal logic
- recurrent neural networks
- concurrent systems
- model checking
- transition systems
- dynamic constraints
- model checker
- bounded model checking
- automata theoretic
- reactive systems
- formal specification language
- modal logic
- complex valued
- satisfiability problem
- neural network
- feed forward
- formal specification
- computation tree logic
- recurrent networks
- linear temporal logic
- hidden layer
- reservoir computing
- artificial neural networks
- verification method
- formal verification
- neural model
- belief revision
- echo state networks
- temporal knowledge
- neural network structure
- temporally extended
- temporally extended goals
- heuristic search