Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

13 November 2023

Papers citing "Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach"

5 / 5 papers shown

Title
Unlocking User-oriented Pages: Intention-driven Black-box Scanner for Real-world Web Applications Weizhe Wang Yao Zhang Kaitai Liang Guangquan Xu Hongpeng Bai Qingyang Yan Xi Zheng Bin Wu 42 0 0 29 Apr 2025
ChatGPT for Shaping the Future of Dentistry: The Potential of Multi-Modal Large Language Model Hanyao Huang Ou Zheng Dongdong Wang Jiayi Yin Zijin Wang ... H. Yin Chuan Xu Renjie Yang Q. Zheng B. Shi MedIm AI4MH AI4CE LM&MA 58 175 0 23 Mar 2023
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems Fitash Ul Haq Donghwan Shin Lionel C. Briand OffRL 44 39 0 27 Oct 2022
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 121 73 0 28 Jan 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017