Daniel Hausmann

Identifiers

No identifiers captured yet.

Papers (5)

1. Symbolic Synthesis for LTLf+ Obligations cs.LO · 2026 · author #3
2. Doubly Fair Parity Games cs.GT · 2023 · author #1
3. Optimal Satisfiability Checking for Arithmetic $\mu$-Calculi cs.LO · 2019 · author #1
4. Permutation Games for the Weakly Aconjunctive $\mu$-Calculus cs.LO · 2017 · author #1
5. Global Caching for the Alternation-free $\mu$-Calculus cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Lutz Schr\"oder 3 shared papers
• Nir Piterman 2 shared papers
• Anne-Kathrin Schmuck 1 shared papers
• Christian Hagemeier 1 shared papers
• Christoph Egger 1 shared papers
• Giuseppe De Giacomo 1 shared papers
• Hans-Peter Deifel 1 shared papers
• Irmak Sa\u{g}lam 1 shared papers