Suite HeckingHarbusch
Download(0 Kb) | |||
Submitter: | Jesko Hecking-Harbusch | ||
Description: | Encoding of bounded synthesis for Petri games as non-CNF prenex QBFs. Petri games are a model for the synthesis of distributed systems. The QBFs have been produced to compare bounded synthesis with the symbolic solving of Petri games. Details in Finkbeiner, B., Gieseking, M., Hecking-Harbusch, J. and Olderog, E.R., 2017. Symbolic vs. bounded synthesis for Petri games. arXiv preprint arXiv:1711.10637. | ||
Number of families: | 2 | ||
Families: | |||
Results: | |||