Modeling and verifying multi-agent behaviors using predicate/transition nets

Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen. Modeling and verifying multi-agent behaviors using predicate/transition nets. In SEKE. pages 193-200, 2002. [doi]

Abstract

Abstract is missing.