Cited By
View all- Liu SYun KDolan JLiu C(2024)Synthesis and Verification of Robust-Adaptive Safe Controllers2024 European Control Conference (ECC)10.23919/ECC64448.2024.10590909(2265-2272)Online publication date: 25-Jun-2024
- Xue B(2024)Reach-avoid Verification Using Lyapunov Densities2024 43rd Chinese Control Conference (CCC)10.23919/CCC63176.2024.10662060(61-68)Online publication date: 28-Jul-2024
- Schafer LAlthoff M(2024)Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis2024 American Control Conference (ACC)10.23919/ACC60939.2024.10644939(4162-4169)Online publication date: 10-Jul-2024
- Show More Cited By