Bernd Finkbeiner. Bounded Synthesis for Petri Games. In Roland Meyer, André Platzer, Heike Wehrheim, editors, Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Volume 9360 of Lecture Notes in Computer Science, pages 223-237, Springer, 2015. [doi]
Abstract is missing.