![]() | ![]() |
2005 | ||
---|---|---|
2 | EE | Wayne Wobcke, Marc Chee, Krystian Ji: Model generation for PRS-like agents. AAMAS 2005: 1131-1132 |
1 | EE | Wayne Wobcke, Marc Chee, Krystian Ji: Model Checking for PRS-Like Agents. Australian Conference on Artificial Intelligence 2005: 17-28 |
1 | Marc Chee | [1] [2] |
2 | Wayne Wobcke | [1] [2] |