Control design along trajectories with sums of squares programmingAnirudha MajumdarAmir Ali Ahmadiet al.2013ICRA 2013
Complexity of ten decision problems in continuous time dynamical systemsAmir Ali AhmadiAnirudha Majumdaret al.2013ACC 2013