Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints.
Wenliang LiuNoushin MehdipourCalin BeltaPublished in: ACC (2021)
Keyphrases
- temporal logic
- recurrent neural networks
- concurrent systems
- model checking
- transition systems
- reactive systems
- bounded model checking
- automata theoretic
- dynamic constraints
- model checker
- formal specification
- neural network
- formal specification language
- modal logic
- satisfiability problem
- complex valued
- recurrent networks
- linear temporal logic
- feed forward
- computation tree logic
- echo state networks
- control system
- verification method
- reservoir computing
- mazurkiewicz traces
- formal verification
- hidden layer
- artificial neural networks
- reinforcement learning
- temporal knowledge
- finite state
- artificial intelligence
- genetic algorithm