Learning Contract Invariants Using Reinforcement Learning.
Junrui LiuYanju ChenBryan TanIsil DilligYu FengPublished in: ASE (2022)
Keyphrases
- reinforcement learning
- learning process
- learning algorithm
- learning problems
- function approximation
- state space
- knowledge acquisition
- learning tasks
- machine learning
- temporal difference learning
- learning capabilities
- learning agent
- inverse reinforcement learning
- dynamic programming
- autonomous learning
- reinforcement learning methods
- robot control
- learning mechanism
- model free
- learning systems
- supervised learning