Merkliste 
 1 Ergebnisse 
 
1

Reach-Avoid Verification Based on Convex Optimization:

Xue, Bai ; Zhan, Naijun ; Fränzle, Martin..
IEEE Transactions on Automatic Control.  69 (2024)  1 - p. 598-605 , 2024