受强制性开放获取政策约束的文章 - Patrick Totzke了解详情
可在其他位置公开访问的文章：16 篇
Reachability in two-dimensional unary vector addition systems with states is NL-complete
M Englert, R Lazić, P Totzke
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Coverability trees for Petri nets with unordered data
P Hofman, S Lasota, R Lazić, J Leroux, S Schmitz, P Totzke
International Conference on Foundations of Software Science and Computation …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
The reachability problem for two-dimensional vector addition systems with states
M Blondin, M Englert, A Finkel, S Göller, C Haase, R Lazić, P McKenzie, ...
Journal of the ACM (JACM) 68 (5), 1-43, 2021
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada, UK Engineering …
MDPs with energy-parity objectives
R Mayr, S Schewe, P Totzke, D Wojtczak
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
What makes Petri nets harder to verify: stack or data?
R Lazić, P Totzke
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William …, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Simulation problems over one-counter nets
P Hofman, S Lasota, R Mayr, P Totzke
Logical Methods in Computer Science 12, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Linear combinations of unordered data vectors
P Hofman, J Leroux, P Totzke
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
History-deterministic timed automata
TA Henzinger, K Lehtinen, P Totzke
CONCUR 243, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
How to play in infinite MDPs (invited talk)
S Kiefer, R Mayr, M Shirmohammadi, P Totzke, D Wojtczak
47th International Colloquium on Automata, Languages and Programming, 1-18, 2020
强制性开放获取政策： Royal Society UK
History-deterministic timed automata are not determinizable
S Bose, TA Henzinger, K Lehtinen, S Schewe, P Totzke
International Conference on Reachability Problems, 67-76, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Inclusion problems for one-counter systems
P Totzke
The University of Edinburgh, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Strategy complexity of reachability in countable stochastic 2-player games
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
Dynamic Games and Applications, 1-57, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
History-deterministic timed automata
S Bose, K Lehtinen, S Schewe, P Totzke
Logical Methods in Computer Science 20, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Parity Games on Temporal Graphs
P Austin, S Bose, P Totzke
International Conference on Foundations of Software Science and Computation …, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Making Sense of Heterogeneous Maritime Data
M Pitsikalis, A Lisitsa, P Totzke, S Lee
2022 23rd IEEE International Conference on Mobile Data Management (MDM), 401-406, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
S Goller, C Haase, R Lazic, P Totzke
43rd International Colloquium on Automata, Languages and Programming (ICALP …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定