Automated analysis and verification of agent behavior - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tibor Bosse, Dung N. Lam, K. Suzanne Barber. Automated analysis and verification of agent behavior. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 1317-1319, ACM, 2006. [doi]

This author has not been identified. It may be one of the following persons:

Tibor Bosse

Look up 'Tibor Bosse' in GoogleThis author has not been identified. Look up 'Dung N. Lam' in GoogleThis author has not been identified. Look up 'K. Suzanne Barber' in Google

runs on WebDSL