Valency Hub
alphaFeedback

WorksComputer Science

Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance

Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan, Vijay Ganesh

Published Fresh — added to the Hub within the last 30 daysv1

License
arXiv nonexclusive license
Status
Published

Machine contribution statement

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.