Data-Driven Compositional Safety Verification of Interconnected Monotone Systems

Amirreza Alavi, Majid Zamani, Saber Jafarpour

This paper introduces a sample-efficient compositional method for formal safety verification of interconnected monotone systems without requiring explicit models of the local subsy…