ZL
Ziyang Li
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9
1 version
Preprints & journals
We couldn't confidently link this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.