Login / Signup
The Reachability Problem for Two-Dimensional Vector Addition Systems with States.
Michael Blondin
Matthias Englert
Alain Finkel
Stefan Göller
Christoph Haase
Ranko Lazic
Pierre McKenzie
Patrick Totzke
Published in:
J. ACM (2021)
Keyphrases
</>
three dimensional
computing systems
state space
building blocks
retrieval systems
artificial neural networks
probability distribution
management system
intelligent systems
computer systems
complex systems