Automatic Verification of Hybrid Systems with Large Discrete State Space. - Werner Damm; Stefan Disch; Hardi Hungar; Jun Pang 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2006)

Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. - Florian Pigorsch; Christoph Scholl 001; Stefan Disch (FMCAD, 2006)

Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. - Florian Pigorsch; Christoph Scholl 001; Stefan Disch (MBMV, 2006)

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets. - Stefan Disch; Christoph Scholl 001 (ASP-DAC, 2007)

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 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2007)

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. - Christoph Scholl 001; Stefan Disch; Florian Pigorsch; Stefan Kupferschmid (TACAS, 2009)

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. - Werner Damm; Henning Dierks; Stefan Disch; Willem Hagemann; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2012)

Simple interpolants for linear arithmetic. - Christoph Scholl 001; Florian Pigorsch; Stefan Disch; Ernst Althaus (DATE, 2014)

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. - Ernst Althaus; Björn Beber; Werner Damm; Stefan Disch; Willem Hagemann; Astrid Rakow; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2017)