TY  - RPRT
TI  - Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
AU  - Xi Zheng
AU  - Aloysius K. Mok
AU  - Ruzica Piskac
AU  - Yong Jae Lee
AU  - Bhaskar Krishnamachari
AU  - Dakai Zhu
AU  - Oleg Sokolsky
AU  - Insup Lee
PY  - 2024
UR  - https://arxiv.org/abs/2311.07377
ID  - 2311.07377
ER  -