Addressing the IEEE AV Test Challenge with Scenic and VerifAI
2021 IEEE International Conference on Artificial Intelligence Testing (AITest)(2021)
摘要
This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveraging our previous work on formally-driven simulation for intelligent cyber-physical systems. First, to model and generate interactive scenarios involving multiple agents, we used Scenic, a probabilistic programming language...
更多查看译文
关键词
Measurement,Computer languages,Systematics,Conferences,Tools,Cyber-physical systems,Probabilistic logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要