Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments