Case Study: Runtime Safety Verification of Neural Network Controlled System

This case study applies runtime safety verification to a neural network controlled system: a Turtlebot navigation platform with LiDAR sensing. Using POLAR-Express, a state-of-the-art reachability analysis tool for neural network controlled systems, the work demonstrates how online reachability computation can monitor and verify safety of learned controllers during deployment.

Authors: Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu

@inproceedings{yang2024case, title={Case Study: Runtime Safety Verification of Neural Network Controlled System}, author={Yang, Frank and Zhan, Simon Sinong and Wang, Yixuan and Huang, Chao and Zhu, Qi}, booktitle={International Conference on Runtime Verification (RV)}, year={2024}, url={https://arxiv.org/abs/2408.08592} }