| Authors Name |
|---|
| Jovan Popovic [5] |
| Julie A Shah [1] |
| Manolis Kellis [1] |
| Michael Ernst [2] |
| Model-based Embedded and Robotic Systems [3] |
| Patrick Winston [2] |
| Program Analysis [2] |
| Robot Locomotion Group [1] |
| Russ Tedrake [1] |
| Silvio Micali [1] |
| Theory of Computation [1] |
| Whitman Richards [1] |