Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints.
Wenliang LiuNoushin MehdipourCalin BeltaPublished in: CoRR (2020)
Keyphrases
- temporal logic
- recurrent neural networks
- concurrent systems
- model checking
- transition systems
- reactive systems
- dynamic constraints
- bounded model checking
- model checker
- formal specification language
- automata theoretic
- neural network
- modal logic
- satisfiability problem
- recurrent networks
- verification method
- formal specification
- linear temporal logic
- hidden layer
- complex valued
- computation tree logic
- mazurkiewicz traces
- feed forward
- reservoir computing
- echo state networks
- formal verification
- activation function
- belief revision
- search space
- qualitative differential equations
- expert systems
- reinforcement learning