| |
| 2007 | ||
|---|---|---|
| 2 | EE | Eva Crück, John Lygeros: A Hybrid Model for Subliminal Air Traffic Control. HSCC 2007: 672-675 |
| 2002 | ||
| 1 | EE | Alexandre M. Bayen, Eva Crück, Claire Tomlin: Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. HSCC 2002: 90-104 |
| 1 | Alexandre M. Bayen | [1] |
| 2 | John Lygeros | [2] |
| 3 | Claire Tomlin | [1] |