Wobcke W; Chee M; Ji K, 2005, 'Model Checking for PRS-Like Agents', in AI 2005: Advances in Artificial Intelligence, Springer-Verlag, Berlin, pp. 17 - 28, presented at Australasian Joint Conference on Artificial Intelligence 2005, Sydney, 05 December 2005 - 09 December 2005, http://dx.doi.org/10.1007/11589990_5
Conference Papers | 2005
Wobcke W; Ji K; Chee M, 2005, 'Model Generation for PRS-like Agents', in Dignum F (ed.), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, 4th International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, pp. 1131 - 1132, presented at 4th International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, 25 July 2005 - 29 July 2005
