Model generation for PRS-like agents. - Wayne Wobcke; Marc Chee; Krystian Ji (AAMAS, 2005)

Model Checking for PRS-Like Agents. - Wayne Wobcke; Marc Chee; Krystian Ji (Australian Conference on Artificial Intelligence, 2005)