Verification of Intelligent Transportation Systems: Challenges And Possibilities | IEEE Conference Publication | IEEE Xplore