State-Space Reduction Techniques in Agent Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge. State-Space Reduction Techniques in Agent Verification. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. pages 896-903, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Rafael H. Bordini' in GoogleThis author has not been identified. Look up 'Michael Fisher' in GoogleThis author has not been identified. Look up 'Willem Visser' in GoogleThis author has not been identified. Look up 'Michael Wooldridge' in Google

runs on WebDSL