Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios E. Fainekos. Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. In 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, November 1-4, 2016. pages 1470-1475, IEEE, 2016. [doi]

Abstract

Abstract is missing.