Totzke, Patrick
- Decidability of Weak Simulation on One-counter Nets
2013/04/15 by Hofman, Piotr, Mayr, Richard, Totzke, Patrick · 1 citation
#68Q45 #D.2.4 #F.1.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- History-deterministic Vector Addition Systems
2023/05/03 by Bose, Sougata, Purser, David, Totzke, Patrick · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
2016/02/17 by Göller, Stefan, Haase, Christoph, Lazić, Ranko +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Linear Combinations of Unordered Data Vectors
2016/10/05 by Piotr Hofman, Jérôme Leroux, Hofman, Piotr +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #DNA and Biological Computing #F.1.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory
- Controlling a Random Population is EXPTIME-hard
2019/09/13 by Corto Mascle, Mahsa Shirmohammadi, Mascle, Corto +3 · 1 citation
Computer Science · Mathematics · #Reinforcement Learning in Robotics #Markov Chains and Monte Carlo Methods #Distributed systems and fault tolerance
- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
2015/03/13 by Jérôme Leroux, Grégoire Sutre, Leroux, Jérôme +3 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
- Parity Games on Temporal Graphs
2023/10/19 by Austin, Pete, Bose, Sougata, Totzke, Patrick · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Temporal Explorability Games
2024/12/20 by Pete Austin, Austin, Pete, Nicolas Mazzocchi +5 · 2 citations
Computer Science · #Advanced Database Systems and Queries #Computer Science and Game Theory (cs.GT) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multi-Agent Systems and Negotiation
- Bounded-Memory Strategies in Partial-Information Games
2024/05/15 by Sougata Bose, Bose, Sougata, Rasmus Ibsen-Jensen +3 · 1 citation
Computer Science · Decision Sciences · #Computability, Logic, AI Algorithms #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Applications #Optimization and Search Problems