Model Checking and Artificial Intelligenceby Stefan Edelkamp, Alessio LomuscioWriting a summary for young readers…For young readersBook data: Open Library