Wayne Wobcke Marc Chee Krystian Ji Model Checking for PRS-Like Agents. 17-28 2005 conf/ausai/2005 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11589990_5 db/conf/ausai/ausai2005.html#WobckeCJ05