Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday - Olderog, Ernst-Rüdiger 1955-; Steffen, Bernhard 1958-; Yi, Wang (Springer, 2021)