Stop the war!
Остановите войну!
for scientists:
default search action
"Testing learning-enabled cyber-physical systems with Large-Language ..."
Xi Zheng et al. (2023)
- Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR abs/2311.07377 (2023)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.