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

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

Browse the full IJCAI paper archive.