@book{13952,
	author = {MoChArt 2008 and Peled, Doron,},
	title = {Model Checking and Artificial Intelligence},
	publisher = {Springer,},
	year = {c2009.},
	series = {Lecture notes in computer science,},
	address = {Berlin ;}
}