Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Computers"
DOI: 10.1109/tc.2022.3197956
Abstract: The Clock Constraint Specification Language (CCSL) has been widely acknowledged as a promising system-level specification for the modeling and analysis of timing behaviors of real-time and embedded systems. However, along with the increasing complexity of… read more here.
Keywords: driven exploration; curiosity driven; synthesis; ccsl ... See more keywords