Testing learning-enabled cyber-physical systems with large-language models: a formal approach
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
4
Link opens in a new tab
Citations
(Scopus)
91
Downloads
(Pure)