On History-Deterministic One-Counter Nets.

Aditya Prakash K. S. Thejaswini

Published in: CoRR (2022)

Keyphrases

black box
multiscale
computational complexity
relaxation algorithm
data mining
relational databases
np hard
probabilistic model