TY  - RPRT
TI  - Symbolic vs. Bounded Synthesis for Petri Games
AU  - Bernd Finkbeiner
AU  - Manuel Gieseking
AU  - Jesko Hecking-Harbusch
AU  - Ernst-Rüdiger Olderog
PY  - 2017
DO  - 10.4204/eptcs.260.5
UR  - https://arxiv.org/abs/1711.10637
ID  - 1711.10637
ER  -