Research papers · Posted 2026.10.29 · Preprint

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, Taylor T. Johnson, Ziyang Li, Lei Ma, Aloysius K. Mok, Daniel Neider, Ruzica Piskac, Nalini Venkatasubramanian, Simon Thompson, Sanjoy Baruah · arXiv · English

Overview

This research agenda connects neuro-symbolic architectures, specification-based testing, compositional verification and runtime assurance for learning-enabled cyber-physical systems, including autonomous vehicles. It emphasizes system-level evidence rather than isolated model evaluation.

Version: v1

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

Overview

Participation enquiry

Your enquiry has been sent.

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

Overview

Related resources

A Deployed Hybrid Vehicle-in-the-Loop Platform for Validating Cooperative Perception

Connected Dependability Cage: Run-Time Function and Anomaly Monitoring for the Development and Operation of Safe Automated Vehicles

Safety Monitor for Off-Road Planning with Uncertainty Bounded Bekker Costs