Stefan Disch

Available identifiers

zbMath Open disch.stefanMaRDI QIDQ436413

List of research outcomes

Publication	Date of Publication	Type
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces	2012-07-20	Paper
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints	2009-03-31	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space	2008-07-03	Paper

Research outcomes over time

This page was built for person: Stefan Disch