I agree that this site is using cookies. You can find further informations here.
X
Totzke, Patrick
84  results:
Search for persons X
?
1

Bounded-Memory Strategies in Partial-Information Games:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bose, Sougata ; Ibsen-Jensen, Rasmus ; Totzke, Patrick - p. 1-14 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Parity Games on Temporal Graphs:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Austin, Pete ; Bose, Sougata ; Totzke, Patrick - p. 79-98 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Memoryless Strategies in Stochastic Reachability Games:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Kiefer, Stefan ; Mayr, Richard ; Shirmohammadi, Mahsa. - p. 225-242 , 2024
Link: https://doi.org/10.1007/..
 
?
4

History-Deterministic Timed Automata Are Not Determinizable:

, In: Lecture Notes in Computer Science; Reachability Problems,
Bose, Sougata ; Henzinger, Thomas A. ; Lehtinen, Karoliina.. - p. 67-76 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Making Sense of Heterogeneous Maritime Data:

, In: 2022 23rd IEEE International Conference on Mobile Data Management (MDM),
Pitsikalis, Manolis ; Lisitsa, Alexei ; Totzke, Patrick. - p. 401-406 , 2022
Link: https://doi.org/10.1109/..
 
?
6

The Reachability Problem for Two-Dimensional Vector Additio..:

Blondin, Michael ; Englert, Matthias ; Finkel, Alain...
Journal of the ACM.  68 (2021)  5 - p. 1-43 , 2021
Link: https://doi.org/10.1145/..
 
?
7

The Reachability Problem for Two-Dimensional Vector Additio..:

Blondin, Michael ; Englert, Matthias ; Finkel, Alain...
Journal of the ACM (JACM).  68 (2021)  5 - p. 1-43 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Simple Stochastic Games with Almost-Sure Energy-Parity Obje..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Mayr, Richard ; Schewe, Sven ; Totzke, Patrick. - p. 427-447 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Reachability Problems: 15th International Conference, RP 20.. 

Theoretical Computer Science and General Issues, 13035
Bell, Paul C ; Totzke, Patrick ; Potapov, Igor - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
10

Trace inclusion for one-counter nets revisited:

Hofman, Piotr ; Totzke, Patrick
Theoretical Computer Science.  735 (2018)  - p. 50-63 , 2018
Link: https://doi.org/10.1016/..
 
?
11

MDPs with energy-parity objectives:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
Mayr, Richard ; Schewe, Sven ; Totzke, Patrick. - p. 1-12 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

Linear combinations of unordered data vectors:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
Hofman, Piotr ; Leroux, Jérôme ; Totzke, Patrick - p. 1-11 , 2017
Link: https://dl.acm.org/doi/1..
 
?
13

Reachability in Two-Dimensional Unary Vector Addition Syste..:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,
Englert, Matthias ; Lazić, Ranko ; Totzke, Patrick - p. 477-484 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

Infinite-state energy games:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Hofman, Piotr... - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

Decidability of Weak Simulation on One-Counter Nets:

, In: Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science,
Hofman, Piotr ; Mayr, Richard ; Totzke, Patrick - p. 203-212 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15