Parametrized Universality Problems for One-Counter Nets.

Shaull Almagor Udi Boker Piotr Hofman Patrick Totzke

Published in: CONCUR (2020)

Keyphrases

problems involving
np complete
real time
data sets
cellular automata
database
databases
computer vision
information systems
decision making
pattern recognition
state space
optimization problems
decision problems
combinatorial optimization
difficult problems