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

Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen

Browse the full SEKE paper archive.