Stefan Disch
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Science of Computer Programming | 2012-07-20 | Paper |
| Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
| Automatic Verification of Hybrid Systems with Large Discrete State Space Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
| Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Research outcomes over time
This page was built for person: Stefan Disch
