Coverability in 2-VASS with One Unary Counter is in NP.

Filip Mazowiecki Henry Sinclair-Banks Karol Wegrzycki

Published in: CoRR (2023)

Keyphrases

pairwise
np complete
computational complexity
np hard
neural network
image sequences
learning environment
double exponential
evolutionary algorithm
expert systems
preprocessing
database
data structure
similarity measure
database systems
decision making
artificial intelligence
data sets