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: | |||