A Policy Iteration Technique for Time Elapse over Template Polyhedra

Sriram Sankaranarayanan
Thao Dang
HSCC (2008), pp. 654-657

Abstract