Polyverif : an open-source environment for autonomous vehicle validation and verification research accelerationRazdan, Rahul; Akbas, Mustafa Ilhan; Sell, Raivo; Bellone, Mauro; Menase, Mahesh; Malayjerdi, MohsenIEEE Access2023 / p. 28343-28354 https://doi.org/10.1109/ACCESS.2023.3258681 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS