Supporting material for "Fast Obligation Translation and Synthesis"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Alexandre Duret-Lutz
DOI: 10.5281/zenodo.19812382
Cited by: 1

Abstract

Artifact for the paper titled "Fast Obligation Translation and Synthesis" by Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Moshe Y. Vardi, Nir Piterman, and Shufang Zhu. Accepted at CAV'26.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 April 2026
Language
EN