Explaining Unsolvability of Planning Problems in Cyber-Physical Systems. - Sk Asif Iqbal; Mir Md Sajid Sarwar; Rajarshi Ray 001 (ISEC, 2025)