Book

Model Checking, Synthesis, and Learning

by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi