Synthesis and Verification of String Stable Control for Interconnected Systems via Neural sISS Certificate

Published in AI Verification in the Wild Workshop@ICLR'25 (VerifAI), 2025