327 citations · 1.3k across the 66 of their papers we have counts for
1 paper · 2 filters
Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake
We show that for continuous time dynamical systems described by polynomial differential equations of modest degree (typically equal to three), the following decision problems which…