Automated tactical maneuver discovery, reasoning and trajectory planning for autonomous driving | IEEE Conference Publication | IEEE Xplore