Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles
| Title | Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos |
| Conference Name | IEEE Intelligent Transportation Systems Conference |
| Keywords | 1350420, 1446730 |
| Citation Key | TuncaliPF16itsc |