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