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]
Abstract is missing.