There is a newer version of the record available.

Published April 15, 2025 | Version v4
Software Open

Software artifact for "Full LTL Synthesis over Infinite-state Arenas"

Authors/Creators

  • 1. ROR icon TU Wien
  • 2. ROR icon University of Gothenburg

Description

This Zenodo record contains a software artifact related to the conference paper "Full LTL Synthesis over Infinite-state Arenas", by Shaun Azzopardi, Luca Di Stefano, Nir Piterman, and Gerardo Schneider (to appear in CAV 2025).

See README.md for instructions.

SHA256 checksums:

6d77358b8bbcc9524239f9b2bfffcb270a2ca862e9c8a5193629867f7d1fdcda  artifact.zip
2bb464924e0cfd1969d65ab17b0f4f75f910f605f148f01ef88584d8324de089  README.md

Files

README.md

Files (1.4 GB)

Name Size Download all
md5:0acdac4dd1d9671f191c67edba2df116
1.4 GB Preview Download
md5:dc59cfaf83ea5a3776505fd139fd15cb
11.4 kB Preview Download

Additional details

Related works

Is derived from
Software: 10.5281/zenodo.15129705 (DOI)
Is described by
Preprint: arXiv:2307.09776 (arXiv)

Funding

European Commission
D-SynMA - Distributed Synthesis: from Single to Multiple Agents 772459

Software

Repository URL
https://github.com/dSynMa/sweap-docker