JOURNAL ARTICLE

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

Ming HuMin ZhangFrédéric MalletXin FuMingsong Chen

Year: 2022 Journal:   IEEE Transactions on Computers Vol: 72 (5)Pages: 1431-1446   Publisher: Institute of Electrical and Electronics Engineers

Abstract

International audience

Keywords:
Process (computing) Computer science Engineering drawing Reinforcement learning Engineering Programming language Artificial intelligence

Metrics

10
Cited By
2.63
FWCI (Field Weighted Citation Impact)
41
Refs
0.84
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture
Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software
© 2026 ScienceGate Book Chapters — All rights reserved.