- Titel:
Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models
- Autor(en):
- Althoff, M.; Dolan, J. M.
- Kongress- / Buchtitel:
- Proc. of the American Control Conference
- Jahr:
- 2012
- Seiten:
- 3559-3566
- BibTeX