Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.
Ming HuMin ZhangFrédéric MalletXin FuMingsong ChenPublished in: IEEE Trans. Computers (2023)
Keyphrases
- reinforcement learning
- active exploration
- exploration strategy
- action selection
- exploration exploitation
- model based reinforcement learning
- autonomous learning
- data driven
- state space
- function approximation
- exploration exploitation tradeoff
- design space exploration
- reinforcement learning algorithms
- learning algorithm
- program synthesis
- specification language
- model free
- optimal policy
- texture synthesis
- formal verification
- transfer learning
- high level
- learning classifier systems
- formal specification
- markov decision processes
- active learning
- multi agent
- case study
- machine learning