Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic

Browse the full TACAS paper archive.