Agent-Integrated Software: Interaction Contracts and Continuous Assurance

Shengcheng Yu, Chunrong Fang, Zhenyu Chen

Embedding an intelligent agent in an existing application creates a persistent coordination problem: users can revise goals and manipulate shared objects while delegated execution…