Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning.
Nathan FultonAndré PlatzerPublished in: AAAI (2018)
Keyphrases
- reinforcement learning
- formal methods
- learning algorithm
- learning problems
- learning process
- state space
- control policy
- supervised learning
- learning systems
- provably correct
- database
- robot control
- action selection
- optimal control
- learning tasks
- optimal policy
- databases
- control system
- artificial intelligence
- machine learning
- model checker
- reinforcement learning methods