Research author

Moshe Y. Vardi

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Moshe Y. Vardi

Aug 3, 2026
cs.AI

Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+

Christoph Weinhuber, Maximilian Prokop, Giuseppe De Giacomo, et al.

Moshe Y. Vardi — AI Research Papers | One9Founders