| |
| 2008 | ||
|---|---|---|
| 2 | EE | Amit Bhatia, Emilio Frazzoli: Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. HSCC 2008: 606-609 |
| 2004 | ||
| 1 | EE | Amit Bhatia, Emilio Frazzoli: Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. HSCC 2004: 142-156 |
| 1 | Emilio Frazzoli | [1] [2] |