However, Singapore Management University (SMU) researchers have developed a new approach to solving agent reliability. AgentSpec is a domain-specific framework that lets users “define structured ...