Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
| Image |  |
|---|---|
| Description | scientific article published on 10 July 2024 |
| Author/s |
author: Aloysius K. Mok Oleg Sokolsky Xi Zheng Bhaskar Krishnamachari Insup Lee Ruzica Piskac Dakai Zhu Yong Jae Lee |
| Publication date | July 10, 2024 |
| Language | |
| Country of origin | |
| Wikipedia link | |
| Copyright status | |
| Missing/wrong data? | Edit Wikidata item |