Searching for "Model Checking for PRS-Like Agents." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Model Checking for PRS-Like Agents
by Wayne Wobcke, Krystian Ji — 2005 — Eds) AI 2005: Advances in Artificial Intelligence
…Model Checking for PRS-Like Agents Wayne Wobcke 1 ,MarcChee 1 , and Krystian Ji 1,2 1 School…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB