Coverability is Undecidable in One-dimensional Pushdown Vector Addition Systems with Resets.

Sylvain Schmitz Georg Zetzsche

Published in: CoRR (2019)

Keyphrases

expert systems
retrieval systems
multi dimensional
learning systems
computer systems
intelligent systems
database systems
feature vectors
management system
evolutionary algorithm
complex systems
sufficient conditions
distributed systems
database
website
genetic algorithm
real world
neural network
data sets
real time