48 citations · 81 across the 15 of their papers we have counts for
1 paper · 1 filter
Yuxiao Chen, James Anderson, Karan Kalsi +2
This paper presents an assume-guarantee reasoning approach to the computation of robust invariant sets for network systems. Parameterized signal temporal logic (pSTL) is used to fo…