@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
}