Verifying BDI Agents in Dynamic Environments