Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration

Ming Hu 0003, Min Zhang 0002, Frédéric Mallet, Xin Fu, Mingsong Chen. Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Transactions on Computers, 72(5):1431-1446, May 2023. [doi]

Authors

Ming Hu 0003

This author has not been identified. Look up 'Ming Hu 0003' in Google

Min Zhang 0002

This author has not been identified. Look up 'Min Zhang 0002' in Google

Frédéric Mallet

This author has not been identified. Look up 'Frédéric Mallet' in Google

Xin Fu

This author has not been identified. Look up 'Xin Fu' in Google

Mingsong Chen

This author has not been identified. Look up 'Mingsong Chen' in Google