Symbolic Model Checking of Hybrid Systems Using Template Polyhedra

Sriram Sankaranarayanan
Thao Dang
TACAS (2008), pp. 188-202

Abstract