https://intlibrary.ir/download/conformant-planning-via-symbolic-model-checki-28389/