VASS reachability in three steps.

Slawomir Lasota

Published in: CoRR (2018)

Keyphrases

transitive closure
data sets
domain knowledge
state space
machine learning
case study
three dimensional
multiscale
objective function
computer science
end users