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]
@inproceedings{TuncaliPF16, title = {Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles}, author = {Cumhur Erkan Tuncali and Theodore P. Pavlic and Georgios E. Fainekos}, year = {2016}, doi = {10.1109/ITSC.2016.7795751}, url = {http://dx.doi.org/10.1109/ITSC.2016.7795751}, researchr = {https://researchr.org/publication/TuncaliPF16}, cites = {0}, citedby = {0}, pages = {1470-1475}, booktitle = {19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, November 1-4, 2016}, publisher = {IEEE}, isbn = {978-1-5090-1889-5}, }