Model Checking, Synthesis, and Learningby Ernst-Rüdiger Olderog, Bernhard Steffen, Wang YiWriting a summary for young readers…For young readersBook data: Open Library