Marc Chee

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

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