Research author

Maximilian Prokop

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

Papers by Maximilian Prokop

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.

Maximilian Prokop — AI Research Papers | One9Founders