| 2012 | ||
|---|---|---|
| c1 | Andrew J. Barry, Anirudha Majumdar, Russ Tedrake: Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates. ICRA 2012: 484-490 | |
| i2 | Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake: Control Design along Trajectories with Sums of Squares Programming. CoRR abs/1210.0888 (2012) | |
| i1 | Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake: Complexity of Ten Decision Problems in Continuous Time Dynamical Systems. CoRR abs/1210.7420 (2012) | |
| 1 | Amir Ali Ahmadi | |
| 2 | Andrew J. Barry | |
| 3 | Russ Tedrake |
Data released under the ODC-BY 1.0 license — See also our legal information page