Certified reinforcement learning with logic guidance.
Hosein HasanbeigDaniel KroeningAlessandro AbatePublished in: Artif. Intell. (2023)
Keyphrases
- reinforcement learning
- function approximation
- state space
- logic programming
- classical logic
- reinforcement learning algorithms
- modal logic
- data sets
- multi valued
- transfer learning
- optimal policy
- dynamic programming
- predicate logic
- markov decision processes
- model free
- digital circuits
- formal theory
- asynchronous circuits
- delay insensitive
- temporal difference
- monte carlo
- learning environment
- multi agent
- machine learning