1. Safety assessment of trajectories for navigation in uncertain and dynamic environments. In Int. IEEE Conf. Robot. and Auto., 5407–5412;Althoff,2011
2. Online verification of automated road vehicles using reachability analysis;Althoff;IEEE Trans. Robotics,2014
3. Aoude, G.S. and How, J.P. (2009). Using support vector machines and Bayesian filtering for classifying agent intentions at road intersections. Tech. Rep. ACL09-02.
4. Aoude, G.S., Luders, B.D., Lee, K.K., Levine, D.S., and How, J.P. (2010). Threat assessment design for driver assistance system at intersections. In Int. IEEE Annu. Conf. Intelli. Trans. Sys., 1855–1862. Madeira Island, Portugal,.
5. Modelling stop intersection approaches using Gaussian processes. In Int. IEEE Conf. Intelli. Trans. Sys., 1650–1655;Armand,2013