Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper)

Download PDF

Michal Tomasz Godziszewski, Davide Catta, Aniello Murano

Published: 01 Jan 2024, Last Modified: 15 May 2025AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024EveryoneRevisionsBibTeXCC BY-SA 4.0