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

Browse the full ATVA paper archive.