Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

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