Model Checking for PRS-Like Agents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wayne Wobcke, Marc Chee, Krystian Ji. Model Checking for PRS-Like Agents. In Shichao Zhang, Ray Jarvis, editors, AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings. Volume 3809 of Lecture Notes in Computer Science, pages 17-28, Springer, 2005. [doi]

This author has not been identified. Look up 'Wayne Wobcke' in GoogleThis author has not been identified. Look up 'Marc Chee' in GoogleThis author has not been identified. Look up 'Krystian Ji' in Google

runs on WebDSL