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]
@inproceedings{HuDZMC21,
title = {Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning},
author = {Ming Hu 0003 and Jiepin Ding and Min Zhang and Frédéric Mallet and Mingsong Chen},
year = {2021},
doi = {10.1109/RTSS52674.2021.00030},
url = {https://doi.org/10.1109/RTSS52674.2021.00030},
researchr = {https://researchr.org/publication/HuDZMC21},
cites = {0},
citedby = {0},
pages = {227-239},
booktitle = {42nd IEEE Real-Time Systems Symposium, RTSS 2021, Dortmund, Germany, December 7-10, 2021},
publisher = {IEEE},
isbn = {978-1-6654-2802-6},
}