Behavioral Specification and Planning for Multiagent Domains
by Lansky, Amy L.
Technical Note 360
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
This report discusses a new approach to the specification of properties of multiagent environment and the generation of plans for such domains. The ideas presented elaborate previous work on a formal, behavioral model of concurrent action, called GEM (the Group Element Model).