Patrick Totzke
Research Associate
Informatics
The University of Edinburgh
United Kingdom
Biography
Patrick Totzke Position Research Associate Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Computer Science
Publications
-
Trace Inclusion for One-Counter Nets Revisited
-
Linear Combinations of Unordered Data Vectors
-
MDPs with Energy-Parity Objectives
