Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin. Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis. In 25th International Conference on Software Quality, Reliability and Security, QRS 2025, Hangzhou, China, July 16-20, 2025. pages 315-326, IEEE, 2025. [doi]
Abstract is missing.