Symbolic Model Checking of Hybrid Systems Using Template Polyhedra

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

Abstract

Research Areas