Eagle Strategy with Local Search for Scenario Based Validation of Autonomous Vehicles

Goss, Quentin; Akbaş, Mustafa İlhan

doi:10.1109/iccve52871.2022.9743067

Cited by 9 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…PolyVerif uses SUMO, which is a well-known open-source traffic simulator with a low-overhead for running city-size road networks at a microscopic level [19]. It has been used by both academia and industry in various projects [20]- [22]. Seshia et al [23] identified environment modeling, formal specification, modeling of learning systems, scalable formal engines and correct-by-construction design as the main challenges of applying formal methods to AI validation and verification.…”

Section: Related Workmentioning

confidence: 99%

PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration

et al. 2023

View full text Add to dashboard Cite

Validation and Verification (V&V) of Artificial Intelligence (AI) based cyber physical systems such as Autonomous Vehicles (AVs) is currently a vexing and unsolved problem. AVs integrate subsystems in areas such as detection, sensor fusion, localization, perception, and path planning. Each of these subsystems contains significant AI content integrated with traditional hardware and software components. The complexity for validating even a subsystem is daunting and the task of validating the whole system is nearly impossible. Fundamental research in advancing the state-of-the-art for AV V&V is required. However, for V&V researchers, it is exceedingly difficult to make progress because of the massive infrastructure requirements to demonstrate the viability of any solution. This paper presents PolyVerif, the world's first open-source solution focused on V&V researchers with the objective of accelerating the state-of-the-art for AV V&V research. PolyVerif provides an AI design and verification framework consisting of a digital twin creation process, an open-source AV engine, access to several open-source physics based simulators, and open-source symbolic test generation engines.PolyVerif's objective is to arm V&V researchers with a framework which extends the state-of-the-art on any one of the many major axes of interest and use the remainder of the infrastructure to quickly demonstrate the viability of their solution. Given its open-source nature, researchers can also contribute their innovations to the project. Using this critical property of open-source environments, the innovation rate of the whole research community to solve these vexing issues can be greatly accelerated. Finally, the paper also presents results from several projects which have used PolyVerif.

show abstract

Section: Related Workmentioning

confidence: 99%