Certified Reinforcement Learning with Logic Guidance.
Mohammadhosein HasanbeigAlessandro AbateDaniel KroeningPublished in: CoRR (2019)
Keyphrases
- reinforcement learning
- function approximation
- automated reasoning
- logic programming
- classical logic
- learning algorithm
- optimal control
- markov decision processes
- learning process
- reinforcement learning algorithms
- set theory
- multi valued
- transfer learning
- proof theory
- multi agent
- epistemic logic
- deontic logic
- temporal difference learning
- asynchronous circuits
- machine learning
- robotic control
- action selection
- modal logic
- learning problems
- supervised learning
- state space
- genetic algorithm