@article{Borozdina2026algorithms, author={Borozdina, S.M. and Edlenko, V.P.}, title={Algorithms for automated verification of BIM models' compliance with regulatory requirements: computational complexity, cost-effectiveness of development, and design risk reduction}, journal={Construction and Architecture}, publisher={Publishing Center RIOR}, year={2026}, pages={-}, volume={14}, issue={2}, }