Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Benzer Materyaller

• Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
  Yazar:: Doron A. Peled, Michael J. Wooldridge
  Baskı/Yayın Bilgisi: (2009, c2009)
• Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
  Yazar:: Ron Meyden, Jan-Georg Smaus
  Baskı/Yayın Bilgisi: (2011, c2011)
• Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
  Yazar:: Dragan Bo.na.ki, Stefan Edelkamp
  Baskı/Yayın Bilgisi: (2007, c2007)
• KI 2011: Advances in Artificial Intelligence : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings /
  Yazar:: Joscha Bach, Stefan Edelkamp
  Baskı/Yayın Bilgisi: (2011, c2011)
• Stochastic Model Checking : Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : Advanced Lectures/
  Baskı/Yayın Bilgisi: (2014, c2014)