Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks.
Wenliang LiuCalin BeltaPublished in: CoRR (2021)
Keyphrases
- recurrent neural networks
- temporal logic
- policy search
- concurrent systems
- transition systems
- model checking
- bounded model checking
- reactive systems
- formal specification language
- reinforcement learning
- feed forward
- neural network
- modal logic
- formal specification
- continuous state
- artificial neural networks
- reinforcement learning algorithms
- model free
- echo state networks
- dynamic programming
- policy gradient
- expert systems
- belief revision
- partially observable markov decision processes
- optimal solution
- domain independent
- machine learning