TY  - RPRT
TI  - Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
AU  - Xi Zheng
AU  - Ivan Ruchkin
AU  - Hong Jin Kang
AU  - Tevfik Bultan
AU  - Vijay Ganesh
AU  - Taylor T. Johnson
AU  - Ziyang Li
AU  - Lei Ma
AU  - Aloysius K. Mok
AU  - Daniel Neider
AU  - Ruzica Piskac
AU  - Nalini Venkatasubramanian
AU  - Simon Thompson
AU  - Sanjoy Baruah
PY  - 2026
UR  - https://arxiv.org/abs/2610.39547
ID  - 2610.39547
ER  -