Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems

Published in Provisionally accepted to Automatica, 2026