@misc{indiciaea78376d4f632,
  title = {Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance},
  author = {Xi Zheng and Ivan Ruchkin and Hong Jin Kang and Tevfik Bultan and Vijay Ganesh and Taylor T. Johnson and Ziyang Li and Lei Ma and Aloysius K. Mok and Daniel Neider and Ruzica Piskac and Nalini Venkatasubramanian and Simon Thompson and Sanjoy Baruah},
  year = {2026},
  url = {https://arxiv.org/abs/2610.39547},
  note = {Source identifier: 2610.39547}
}