- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, Matthias; Stursberg, Olaf; Buss, Martin
- Title:
- Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes
- Book / Congress title:
- Proceedings of the 17th IFAC World Congress
- Year:
- 2008
- BibTeX