Tags

lower bounds
Apr 6, 2023
FICTION
Nov 27, 2022
barrier certificates
Sep 22, 2022
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
stability
Jul 14, 2020
supermartingales
Jul 14, 2020