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