Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles | IEEE Conference Publication | IEEE Xplore