User: Guest  Login
Author(s):
Althoff, M.; Stursberg, O.; Buss, M. 
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