Autonomous driving validation and verification using digital twinsPikner, Heiko; Malayjerdi, Mohsen; Bellone, Mauro; Baykara, Baris Cem; Sell, RaivoProceedings of the 10th International Conference on Vehicle Technology and Intelligent Transport Systems - VEHITS. Vol. 12024 / p. 204-211 https://doi.org/10.5220/0012546400003702

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

Structurally synthesized multiple input BDDs for simulation of digital circuitsUbar, Raimund-Johannes; Mironov, Dmitri; Raik, Jaan; Jutman, Artur16th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2009 : Yasmine Hammamet, Tunesia, 13-19 December, 20092009 / p. 451-454 : ill http://dx.doi.org/10.1109/ICECS.2009.5410895