Runtime Verified Neural Networks for Cyber-Physical Systems

D. Tripuramallu, A. Anand, S. Pinisetty, H. Pearce, P. Roop
January 2024
Cite DOI URL
Type
Conference paper
Publication
Vortex 2024 Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution Co Located with Issta 2024