1 paper
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…