Login
- Title:
Online Verification of Automated Road Vehicles Using Reachability Analysis
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Althoff, M.; Dolan, J. M.
- Journal title:
- IEEE Transactions on Robotics
- Year:
- 2014
- Journal volume:
- 30
- Journal issue:
- 4
- Pages contribution:
- 903-918
- Fulltext / DOI:
- doi:10.1109/TRO.2014.2312453
BibTeX