Automatic Rectangular Refinement of Affine Hybrid Systems

Technical Report PDF: 
Technical Report Number: 
2005.47
TitleAutomatic Rectangular Refinement of Affine Hybrid Systems
Publication TypeConference Paper
Year of Publication2005
AuthorsDoyen, L, Henzinger TA, Raskin J-F
Conference NameFORMATS