Patrick Totzke

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 58

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. CoRR (2024)
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
The Power of Counting Steps in Quantitative Games. CONCUR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of B\"uchi Objectives in Concurrent Stochastic Games. CoRR (2024)
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
The Power of Counting Steps in Quantitative Games. CoRR (2024)
Pete Austin, Sougata Bose, Patrick Totzke
Parity Games on Temporal Graphs. FoSSaCS (1) (2024)
Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke
Bounded-Memory Strategies in Partial-Information Games. LICS (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. Taming the Infinities of Concurrency (2024)
Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke
Bounded-Memory Strategies in Partial-Information Games. CoRR (2024)
Sougata Bose, David Purser, Patrick Totzke
History-Deterministic Vector Addition Systems. CONCUR (2023)
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
Handling of Past and Future with Phenesthe+. GandALF (2023)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder. CoRR (2023)
Pete Austin, Sougata Bose, Patrick Totzke
Parity Games on Temporal Graphs. CoRR (2023)
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
History-deterministic Timed Automata. CoRR (2023)
Sougata Bose, David Purser, Patrick Totzke
History-deterministic Vector Addition Systems. CoRR (2023)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games. CoRR (2022)
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke, Simon Lee
Making Sense of Heterogeneous Maritime Data. MDM (2022)
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
History-Deterministic Timed Automata Are Not Determinizable. RP (2022)
Paul C. Bell, Igor Potapov, Sylvain Schmitz, Patrick Totzke
Preface. Fundam. Informaticae 189 (3-4) (2022)
Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke
History-Deterministic Timed Automata. CONCUR (2022)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS (2021)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR (2021)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
-complete. CoRR (2021)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. MFCS (2021)
Michael Blondin, Matthias Englert, Alain Finkel, Stefan Göller, Christoph Haase, Ranko Lazic, Pierre McKenzie, Patrick Totzke
The Reachability Problem for Two-Dimensional Vector Addition Systems with States. J. ACM 68 (5) (2021)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Transience in Countable MDPs. CONCUR (2021)
Patrick Totzke, Michele Zito
Report on BCTCS 2021. Bull. EATCS 134 (2021)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Parity Objectives in Countable MDPs. CoRR (2020)
Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
Parametrized Universality Problems for One-Counter Nets. CoRR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak
How to Play in Infinite MDPs (Invited Talk). ICALP (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Transience in Countable MDPs. CoRR (2020)
Daniel Neider, Patrick Totzke, Martin Zimmermann
Optimally Resilient Strategies in Pushdown Safety Games. MFCS (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Parity Objectives in Countable MDPs. CONCUR (2020)
Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
Parametrized Universality Problems for One-Counter Nets. CONCUR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Büchi Objectives in Countable MDPs. CoRR (2019)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Büchi Objectives in Countable MDPs. ICALP (2019)
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
Controlling a Random Population is EXPTIME-hard. CoRR (2019)
Daniel Neider, Patrick Totzke, Martin Zimmermann
Optimally Resilient Strategies in Pushdown Safety Games. CoRR (2019)
Lorenzo Clemente, Piotr Hofman, Patrick Totzke
Timed Basic Parallel Processes. CONCUR (2019)
Lorenzo Clemente, Piotr Hofman, Patrick Totzke
Timed Basic Parallel Processes. CoRR (2019)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
Universal Safety for Timed Petri Nets is PSPACE-complete. CoRR (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
Universal Safety for Timed Petri Nets is PSPACE-complete. CONCUR (2018)
Piotr Hofman, Patrick Totzke
Trace inclusion for one-counter nets revisited. Theor. Comput. Sci. 735 (2018)
Ranko Lazic, Patrick Totzke
What Makes Petri Nets Harder to Verify: Stack or Data? Concurrency, Security, and Puzzles (2017)
Piotr Hofman, Jérôme Leroux, Patrick Totzke
Linear combinations of unordered data vectors. LICS (2017)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
MDPs with energy-parity objectives. LICS (2017)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
MDPs with Energy-Parity Objectives. CoRR (2017)
Richard Mayr, Patrick Totzke
Branching-Time Model Checking Gap-Order Constraint Systems. Fundam. Informaticae 143 (3-4) (2016)
Matthias Englert, Ranko Lazic, Patrick Totzke
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. LICS (2016)
Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke
Coverability Trees for Petri Nets with Unordered Data. FoSSaCS (2016)
Matthias Englert, Ranko Lazic, Patrick Totzke
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. CoRR (2016)
Stefan Göller, Christoph Haase, Ranko Lazic, Patrick Totzke
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One. ICALP (2016)
Stefan Göller, Christoph Haase, Ranko Lazic, Patrick Totzke
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One. CoRR (2016)
Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
Simulation Problems Over One-Counter Nets. Log. Methods Comput. Sci. 12 (1) (2016)
Piotr Hofman, Jérôme Leroux, Patrick Totzke
Linear Combinations of Unordered Data Vectors. CoRR (2016)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On Boundedness Problems for Pushdown Vector Addition Systems. CoRR (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On Boundedness Problems for Pushdown Vector Addition Systems. RP (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension. ICALP (2) (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension. CoRR (2015)
Piotr Hofman, Patrick Totzke
Trace Inclusion for One-Counter Nets Revisited. CoRR (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
Infinite-state energy games. CSL-LICS (2014)
Piotr Hofman, Patrick Totzke
Trace Inclusion for One-Counter Nets Revisited. RP (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
Infinite-State Energy Games. CoRR (2014)
Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
Simulation Over One-counter Nets is PSPACE-Complete. CoRR (2013)
Piotr Hofman, Richard Mayr, Patrick Totzke
Decidability of Weak Simulation on One-Counter Nets. LICS (2013)
Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke
Simulation Over One-counter Nets is PSPACE-Complete. FSTTCS (2013)
Richard Mayr, Patrick Totzke
Branching-Time Model Checking Gap-Order Constraint Systems. CoRR (2013)
Richard Mayr, Patrick Totzke
Branching-Time Model Checking Gap-Order Constraint Systems. RP (2013)
Piotr Hofman, Richard Mayr, Patrick Totzke
Decidability of Weak Simulation on One-counter Nets CoRR (2013)
Piotr Hofman, Patrick Totzke
Approximating Weak Bisimilarity of Basic Parallel Processes EXPRESS/SOS (2012)
Manfred Kudlek, Patrick Totzke, Georg Zetzsche
Multiset Pushdown Automata. Fundam. Informaticae 93 (1-3) (2009)
Manfred Kudlek, Patrick Totzke, Georg Zetzsche
Properties of Multiset Language Classes Defined by Multiset Pushdown Automata. Fundam. Informaticae 93 (1-3) (2009)

Patrick Totzke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Totzke