APA (7th ed.) Citation

Zheng, X., Mok, A. K., Piskac, R., Lee, Y. J., Krishnamachari, B., Zhu, D., . . . Lee, I. (2023). Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.

Chicago Style (17th ed.) Citation

Zheng, Xi, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, and Insup Lee. Testing Learning-enabled Cyber-physical Systems with Large-Language Models: A Formal Approach. 2023.

MLA (9th ed.) Citation

Zheng, Xi, et al. Testing Learning-enabled Cyber-physical Systems with Large-Language Models: A Formal Approach. 2023.