Efficient Analysis of VASS Termination Complexity.

Antonín Kucera Jérôme Leroux Dominik Velan

Published in: LICS (2020)

Keyphrases

quantitative analysis
image analysis
computational complexity
information technology
worst case
computationally complex
databases
automatic analysis
complexity analysis
space complexity
statistical analysis
medical images
upper bound
data analysis
multi agent
multimedia
computer vision
machine learning
data mining