 | 2009 |
|---|
| 4 |       | Colas Le Guernic,
Antoine Girard:
Reachability Analysis of Hybrid Systems Using Support Functions.
CAV 2009: 540-554 |
| 3 | | Thao Dang,
Colas Le Guernic,
Oded Maler:
Computing Reachable States for Nonlinear Biological Models.
CMSB 2009: 126-141 |
| 2008 |
|---|
| 2 | | Antoine Girard,
Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
HSCC 2008: 215-228 |
| 2006 |
|---|
| 1 | | Antoine Girard,
Colas Le Guernic,
Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC 2006: 257-271 |
