Daniel Hausmann
Scholar

Daniel Hausmann

Google Scholar ID: J38opt4AAAAJ
University of Liverpool
Fixpoint theoryModal logicGame theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
191
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
5 items
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
Resume (English only)
Co-authors
11 total
Lutz Schröder
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Till Mossakowski
Till Mossakowski
Professor of Computer Science, University of Osnabrück
Nir Piterman
Nir Piterman
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Stefan Milius
Stefan Milius
FAU Erlangen-Nürnberg