8 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
This paper presents a method for the simultaneous synthesis of a barrier certificate and a safe controller for discrete-time nonlinear stochastic systems. Our approach, based on pi…