上一条: Tractable model discrimination for safety-critical systems with disjunctive and coupled constraints
下一条: Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Driving Safety Control