The following publications are possibly variants of this publication:
- Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement LearningMing Hu 0003, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen. rtss 2021: 227-239 [doi]
- Episodic Multi-agent Reinforcement Learning with Curiosity-driven ExplorationLulu Zheng, Jiarui Chen, Jianhao Wang, Jiamin He, Yujing Hu, Yingfeng Chen, Changjie Fan, Yang Gao 0001, Chongjie Zhang. nips 2021: 3757-3769 [doi]
- Sample-Guided Automated Synthesis for CCSL SpecificationsMing Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen. dac 2019: 98 [doi]