Research author

Christian Hagemeier

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

Papers by Christian Hagemeier

Apr 20, 2026
cs.LO

Symbolic Synthesis for LTLf+ Obligations

Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann, et al.

Christian Hagemeier — AI Research Papers | One9Founders