There is a newer version of the record available.

Published April 14, 2025 | Version v3
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 Podman image for 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.

Files

README.md

Files (1.4 GB)

Name Size Download all
md5:9a9997aca3dfb774d9dee6807c46e0d1
1.4 GB Preview Download
md5:cb0989e309f4400ee6c1903dd5d2755a
10.9 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