Symbolic modeling of driving behavior based on hierarchical segmentation and formal grammar | IEEE Conference Publication | IEEE Xplore