%0 Conference Paper %1 conf/rtss/HuDZMC21 %A Hu, Ming %A Ding, Jiepin %A Zhang, Min %A Mallet, Frédéric %A Chen, Mingsong %B RTSS %D 2021 %I IEEE %K dblp %P 227-239 %T Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. %U http://dblp.uni-trier.de/db/conf/rtss/rtss2021.html#HuDZMC21 %@ 978-1-6654-2802-6

@inproceedings{conf/rtss/HuDZMC21, added-at = {2023-11-12T00:00:00.000+0100}, author = {Hu, Ming and Ding, Jiepin and Zhang, Min and Mallet, Frédéric and Chen, Mingsong}, biburl = {https://www.bibsonomy.org/bibtex/27b279997a4d8fa831f500b54eccb3e30/dblp}, booktitle = {RTSS}, crossref = {conf/rtss/2021}, ee = {https://doi.org/10.1109/RTSS52674.2021.00030}, interhash = {91a0f3cf781343c1618821ea1275ee1b}, intrahash = {7b279997a4d8fa831f500b54eccb3e30}, isbn = {978-1-6654-2802-6}, keywords = {dblp}, pages = {227-239}, publisher = {IEEE}, timestamp = {2024-04-09T19:46:05.000+0200}, title = {Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss2021.html#HuDZMC21}, year = 2021 }