Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl

First Page		Document Content
Date: 2017-08-02 04:54:12		Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl Add to Reading List Source URL: www.react.uni-saarland.de Download Document from Source Website File Size: 604,77 KB Share Document on Facebook