3 papers
cs.LG2026
Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
Chengxiao Wang, Haoze Wu, Gagandeep Singh
Neural Lyapunov and barrier certificates have recently been used as powerful tools for verifying the safety and stability properties of deep reinforcement learning (RL) controllers…
eess.SY2026
Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
Jingyuan Zhou, Haoze Wu, Kaidi Yang
Providing formal guarantees for neural network-based controllers in large-scale interconnected systems remains a fundamental challenge. In particular, using neural certificates to…
eess.SY2025
Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
Jingyuan Zhou, Haoze Wu, Haokun Yu +1
Ensuring string stability is critical for the safety and efficiency of large-scale interconnected systems. Although learning-based controllers (e.g., those based on reinforcement l…