On the Computation of the Set of Reachable States of Hybrid Models.

A. S. Krishnakumar, Kwang-Ting Cheng

Browse the full DAC paper archive.