Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.

Werner Damm Stefan Disch Hardi Hungar Swen Jacobs Jun Pang Florian Pigorsch Christoph Scholl Uwe Waldmann Boris Wirtz Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. 425-440 2007 conf/atva/2007 ATVA http://dx.doi.org/10.1007/978-3-540-75596-8_30 db/conf/atva/atva2007.html#DammDHJPPSWW07