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