Patrick Totzke
Scholar

Patrick Totzke

Google Scholar ID: ck8G3CgAAAAJ
University of Liverpool
VerificationGamesAutomata
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
351
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
38
list available
Contact
No contact links provided.
Publications
6 items
History-Constrained Systems
2026
Cited
0
Optimal Sequential Flows
2025
Cited
0
Resolving Nondeterminism by Chance
2025
Cited
0
Temporal Explorability Games
arXiv.org · 2024
Cited
0
Strategy Complexity of B""uchi Objectives in Concurrent Stochastic Games
arXiv.org · 2024
Cited
0
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
arXiv.org · 2023
Cited
0
Resume (English only)
Co-authors
38 total
Piotrek Hofman
Piotrek Hofman
University of Warsaw
Stefan Kiefer
Stefan Kiefer
Professor of Computer Science, University of Oxford
Ranko Lazic
Ranko Lazic
Department of Computer Science, University of Warwick
Jerome Leroux
Jerome Leroux
CNRS researcher, LaBRI, France
Sven Schewe
Sven Schewe
Professor of Computer Science, University of Liverpool
Co-author 6
Co-author 6
Georg Zetzsche
Georg Zetzsche
MPI-SWS, Germany
Co-author 8
Co-author 8