APA (7th ed.) Citation

Hu, M., Ding, J., Zhang, M., Mallet, F., & Chen, M. (2021). Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. 2021 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium (RTSS), 2021 IEEE, RTSS, 227. https://doi.org/10.1109/RTSS52674.2021.00030

Chicago Style (17th ed.) Citation

Hu, Ming, Jiepin Ding, Min Zhang, Frederic Mallet, and Mingsong Chen. "Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning." 2021 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium (RTSS), 2021 IEEE, RTSS 2021: 227. https://doi.org/10.1109/RTSS52674.2021.00030.

MLA (9th ed.) Citation

Hu, Ming, et al. "Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning." 2021 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium (RTSS), 2021 IEEE, RTSS, 2021, p. 227, https://doi.org/10.1109/RTSS52674.2021.00030.