The following pages link to Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452):
Displaying 1 item.