Coverability in 1-VASS with Disequality Tests.

Shaull Almagor Nathann Cohen Guillermo A. Pérez Mahsa Shirmohammadi James Worrell

Published in: CONCUR (2020)

Keyphrases

databases
data sets
artificial intelligence
social networks
computer vision
pairwise
management system
statistical tests