Scholar
Patrick Totzke
Google Scholar ID: ck8G3CgAAAAJ
University of Liverpool
Verification
Games
Automata
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
351
H-index
11
i10-index
12
Publications
20
Co-authors
38
list available
Publications
7 items
The Emptiness Problem for Quantum Finite Automata with Classical States
2026
Cited
0
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
Co-authors
18 total
Piotrek Hofman
University of Warsaw
Stefan Kiefer
Professor of Computer Science, University of Oxford
Ranko Lazic
Department of Computer Science, University of Warwick
Jerome Leroux
CNRS researcher, LaBRI, France
Sven Schewe
Professor of Computer Science, University of Liverpool
Georg Zetzsche
MPI-SWS, Germany
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux
Slawomir Lasota
University of Warsaw, prof. of computer science
