| |
| 2008 | ||
|---|---|---|
| 2 | EE | Antoine Girard, Colas Le Guernic: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. HSCC 2008: 215-228 |
| 2006 | ||
| 1 | EE | Antoine Girard, Colas Le Guernic, Oded Maler: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271 |
| 1 | Antoine Girard | [1] [2] |
| 2 | Oded Maler | [1] |