MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Model Checking and Artificial Intelligence" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Experience  
  • by Alex David Groce
  • …, Workshop on Model Checking and Artificial Intelligence (MoChArt), Specification and Verification…
  • Add To MetaCart
  • Education  
  • by Alex David Groce, Advisor Edmund Clarke
  • … of Software, Workshop on Model Checking and Artificial Intelligence (MoChArt), Specification and Verification…
  • Add To MetaCart
  • Together with Steve Kremer [26] and...  
  • by unknown authors
  • …), Model Checking and Artificial Intelligence (August 2005), Computer Security Foundations Workshop (July…
  • Add To MetaCart
  • Modelling Resource Bounded Agents  
  • by John Barnden, Julia H, Joshua Knowles, Mark Jago
  • … Workshop on Model Checking and Artificial Intelligence, 2006. 2. N. Alechina, M. Jago, and B. Logan, Modal…
  • Add To MetaCart
  • Model checking Russian cards  
  • by Hans Van Ditmarsch, Hans Van Ditmarsch, Wiebe Van Der Hoek, Ron Van Der Meyden, Ron Van Der Meyden, Ji Ruan, Ji Ruan — 2005 — Proceedings of MoChArt 05
  • …Department of Computer Science, University of Otago Technical Report OUCS-2005-07 Model Checking…
  • Cited by 4 (2 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB