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