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]
Abstract is missing.