12 citations · 37 across the 29 of their papers we have counts for
1 paper · 1 filter
Yuxiao Chen, Ayonga Hereid, Huei Peng +1
Correct-by-construction techniques, such as control barrier functions (CBFs), can be used to guarantee closed-loop safety by acting as a supervisor of an existing or legacy control…