DOI,IST REx ID,Research Group,Title of publication
10.5281/zenodo.12518216,22798,KrCh,Data for Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs