%0 Journal Article %T Algorithms for automated verification of BIM models' compliance with regulatory requirements: computational complexity, cost-effectiveness of development, and design risk reduction %A Borozdina, S.M. %A Edlenko, V.P. %K BIM, automated verification, verification algorithms, computational complexity, cost efficiency, regulatory compliance %J Construction and Architecture %D 2026 %N 14 %P 0 %I Publishing Center RIOR