14 citations · 62 across the 12 of their papers we have counts for
1 paper · 2 filters
Binghan He, Gray C. Thomas, Luis Sentis
In this paper, we consider the problem of verifying safety constraint satisfaction for single-input single-output systems with uncertain transfer function coefficients. We propose…