Chengqi Zhang, Yuefeng Li. An Algorithm for Plan Verification in Multiple Agent Systems. In Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang, editors, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI 97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. Volume 1441 of Lecture Notes in Computer Science, pages 149-163, Springer, 1997. [doi]
Abstract is missing.