A Formal Methodology for Verifying Situated Agents

Phan Minh Dung. A Formal Methodology for Verifying Situated Agents. In AAAI/IAAI. pages 637-642, 1998.

Abstract

Abstract is missing.