%0 Journal Article %1 journals/corr/abs-2311-07377 %A Zheng, Xi %A Mok, Aloysius K. %A Piskac, Ruzica %A Lee, Yong Jae %A Krishnamachari, Bhaskar %A Zhu, Dakai %A Sokolsky, Oleg %A Lee, Insup %D 2023 %J CoRR %K dblp %T Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-07377 %V abs/2311.07377

@article{journals/corr/abs-2311-07377, added-at = {2023-11-29T00:00:00.000+0100}, author = {Zheng, Xi and Mok, Aloysius K. and Piskac, Ruzica and Lee, Yong Jae and Krishnamachari, Bhaskar and Zhu, Dakai and Sokolsky, Oleg and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/2bc24f830e0021458d2d1a8c817bb929b/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.07377}, interhash = {ca836e5f9d2989120e63d31c29229c9e}, intrahash = {bc24f830e0021458d2d1a8c817bb929b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:34:22.000+0200}, title = {Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-07377}, volume = {abs/2311.07377}, year = 2023 }