Published April 15, 2025 | Version v6
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:

faa9a2d4a7115d196d9efaee1564a04153b091a4b50400a6b48a4e4d10996140  artifact.zip
fbf340a3455da9777b8593b933c4185069769987b3ef901bb5331dd5e5885145  README.md

Files

README.md

Files (1.4 GB)

Name Size Download all
md5:ac9c6bdaa156564f1d878aeb59f45216
1.4 GB Preview Download
md5:13b46f55acddb2b0d5a61b2104238ff0
11.5 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