"Symbolic vs. Bounded Synthesis for Petri Games."

Bernd Finkbeiner et al. (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics