22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
1 |
| Vorozhtsov, Evgenii V. (ed.) |
| |
| | 2007 | [Podelski, Andreas]
Wagner, Silke | | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |
| | 2007 | [Podelski, Andreas]
Wagner, Silke | Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C. | | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | Poster | |