Scholar
Daniel Hausmann
Google Scholar ID: J38opt4AAAAJ
University of Liverpool
Fixpoint theory
Modal logic
Game theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
191
H-index
8
i10-index
7
Publications
20
Co-authors
11
list available
Publications
7 items
Solving Streett and Emerson-Lei Games with Universal Trees
2026
Cited
0
Generalised Reachability Games
2026
Cited
0
Symbolic Synthesis for LTLf+ Obligations
2026
Cited
0
Generalised Reachability Games Revisited
2025
Cited
0
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
2025
Cited
0
Faster Game Solving by Fixpoint Acceleration
arXiv.org · 2024
Cited
1
Fair ω-Regular Games
arXiv.org · 2023
Cited
0
Co-authors
6 total
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Till Mossakowski
Professor of Computer Science, University of Osnabrück
Nir Piterman
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden
Stefan Milius
FAU Erlangen-Nürnberg
Henning Urbat
Postdoctoral Researcher, Friedrich-Alexander-Universität Erlangen-Nürnberg
tadeusz litak
University of Naples Federico II
