Model Checking and Artificial Intelligenceby Doron A. Peled, Michael WooldridgeWriting a summary for young readers…For young readersBook data: Open Library