Tags

bilinear matrix inequalities
Sep 22, 2022
difference-of-convex programming
Sep 22, 2022
safety
Sep 22, 2022
semidefinite programming
Sep 22, 2022
$k$-induction
Jul 15, 2021
Hilbert ascending chains
Sep 1, 2020
polynomial programs
Sep 1, 2020
stability
Jul 14, 2020
stochastic systems
Jul 14, 2020
supermartingales
Jul 14, 2020