Exact State Set Representations in the Veriﬁcation of Linear Hybrid Systems with Large Discrete State Space Werner Damm2,3 , Stefan Disch1 , Hardi Hungar3 , Swen Jacobs4 , Jun Pang2 , Florian Pigorsch1, Christoph Scho - Discrete space - Document - PDFSEARCH.IO

First Page	Meta Content
	Exact State Set Representations in the Veriﬁcation of Linear Hybrid Systems with Large Discrete State Space Werner Damm2,3 , Stefan Disch1 , Hardi Hungar3 , Swen Jacobs4 , Jun Pang2 , Florian Pigorsch1, Christoph Scho Add to Reading List Document Date: 2013-01-31 09:31:46 Open Document File Size: 558,53 KB Share Result on Facebook

Exact State Set Representations in the Veriﬁcation of Linear Hybrid Systems with Large Discrete State Space Werner Damm2,3 , Stefan Disch1 , Hardi Hungar3 , Swen Jacobs4 , Jun Pang2 , Florian Pigorsch1, Christoph SchoAdd to Reading List