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

Ming Hu; Min Zhang; Frédéric Mallet; Xin Fu; Mingsong Chen

doi:10.1109/tc.2022.3197956

ScienceGate Book Chapters

JOURNAL ARTICLE

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

Ming Hu Min Zhang Frédéric Mallet Xin Fu Mingsong Chen

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

DOI: 10.1109/tc.2022.3197956

Get Full-Text PDF Get Analytical Report

Abstract

International audience

Keywords:

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

Metrics

Cited By

2.63

FWCI (Field Weighted Citation Impact)

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

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

Abstract

Metrics

Citation History

Topics

Related Documents

Curiosity-driven exploration in reinforcement learning

Random curiosity-driven exploration in deep reinforcement learning

Curiosity-driven Exploration for Cooperative Multi-Agent Reinforcement Learning

Curiosity-Driven Exploration for Off-Policy Reinforcement Learning Methods

Neighborhood-Curiosity-Based Exploration in Multiagent Reinforcement Learning