Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001. Model Checking, Synthesis, and Learning. In Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001, editors, Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Volume 13030 of Lecture Notes in Computer Science, pages 1-7, Springer, 2021. [doi]
Abstract is missing.