• 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 https://www.scopus.com/sourceid/21100374601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85151508125&origin=inward&txGid=fd14e7daa42221d72dc0bc7d6e12d0f0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000966839500001
• 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