- Titel:
Online Verification of Automated Road Vehicles Using Reachability Analysis
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Althoff, M.; Dolan, J. M.
- Zeitschriftentitel:
- IEEE Transactions on Robotics
- Jahr:
- 2014
- Band / Volume:
- 30
- Heft / Issue:
- 4
- Seitenangaben Beitrag:
- 903-918
- Volltext / DOI:
- doi:10.1109/TRO.2014.2312453
- BibTeX