Automatic Verification of Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Browse the full ATVA paper archive.