notesum.ai

Published at November 14

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

cs.LO
cs.AI
cs.FL

Released Date: November 14, 2024

Authors: Benjamin Aminof1, Giuseppe De Giacomo2, Sasha Rubin3, Moshe Y. Vardi4

Aff.: 1University of Rome 'La Sapienza', Italy; 2University of Rome 'La Sapienza', Italy; University of Oxford, United Kingdom; 3University of Sydney, Australia; 4Rice University, USA

Arxiv: http://arxiv.org/abs/2411.09366v1