Coverability in 1-VASS with Disequality Tests.

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

Published in: CoRR (2019)

Keyphrases

test suite
database
website
real time
decision making
data structure
multi agent systems
computational complexity
preprocessing
expert systems
pairwise
data model
probabilistic model
test cases