Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ming Hu 0003, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen. Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. In 42nd IEEE Real-Time Systems Symposium, RTSS 2021, Dortmund, Germany, December 7-10, 2021. pages 227-239, IEEE, 2021. [doi]

This author has not been identified. Look up 'Ming Hu 0003' in GoogleThis author has not been identified. Look up 'Jiepin Ding' in GoogleThis author has not been identified. Look up 'Min Zhang' in GoogleThis author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in Google

runs on WebDSL