Matthias Althoff, John M. Dolan. Online Verification of Automated Road Vehicles Using Reachability Analysis. IEEE Transactions on Robotics, 30(4):903-918, 2014. [doi]
@article{AlthoffD14, title = {Online Verification of Automated Road Vehicles Using Reachability Analysis}, author = {Matthias Althoff and John M. Dolan}, year = {2014}, doi = {10.1109/TRO.2014.2312453}, url = {http://dx.doi.org/10.1109/TRO.2014.2312453}, researchr = {https://researchr.org/publication/AlthoffD14}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Robotics}, volume = {30}, number = {4}, pages = {903-918}, }