| |
| 2004 | ||
|---|---|---|
| 2 | EE | Alberto Bemporad, Nicolò Giorgetti: SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems. CPAIOR 2004: 96-111 |
| 1 | EE | Alberto Bemporad, Nicolò Giorgetti: A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. HSCC 2004: 126-141 |
| 1 | Alberto Bemporad | [1] [2] |