Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios | IEEE Journals & Magazine | IEEE Xplore